Kód: 04894683
Z - An Introduction to Formal Methods 2e
Autor Antoni Diller
Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code ... celý popis
- Jazyk:
Angličtina - Väzba: Brožovaná
- Počet strán: 394
Nakladateľ: John Wiley & Sons Inc, 1994
- Viac informácií o knihe
81.40 €
Bežne: 81.42 €
Ušetríte 0.02 €
Skladom u dodávateľa
Odosielame za 10 - 18 dní
Mohlo by sa vám tiež páčiť
-
Professional Chef, Ninth Edition
49.10 € -
Only a Beginning
22.88 € -9 % -
Of that hour and day no one knows - Mark 13 as an apocalypse?
50.42 € -4 % -
Solution-Focused Stress Counselling
117.86 € -9 % -
BILD' Dir Deine Meinung? Populismus als Programm
16.19 € -10 % -
Aventurin Krebs, Edelsteinherz
14.47 € -12 % -
Student Solution Manual for Chemistry
65.20 € -
Medizin in den Medien
14.47 € -10 % -
Chicago Confidential
9.51 € -27 % -
Ancient History, or Annals of Kentucky; With a Survey of the Ancient Monuments of North America; And a Tabular View of the Principal Languages and Pri
17.31 € -2 % -
Catholic Roots, Mormon Harvest: A Story of Conversion and 40 Comparative Doctrines
13.46 € -24 % -
Wall of Truth
14.88 € -24 % -
Tom, Luna & Cooper - Gartenabenteuer im Frühling
19.43 € -7 % -
Moral Education and Pluralism
237.15 €
Darčekový poukaz: Radosť zaručená
- Darujte poukaz v ľubovoľnej hodnote, a my sa postaráme o zvyšok.
- Poukaz sa vzťahuje na všetky produkty v našej ponuke.
- Elektronický poukaz si vytlačíte z e-mailu a môžete ho ihneď darovať.
- Platnosť poukazu je 12 mesiacov od dátumu vystavenia.
Viac informácií o knihe Z - An Introduction to Formal Methods 2e
Nákupom získate 197 bodov
Anotácia knihy
Offers a thorough and comprehensive tutorial introduction to Z. Uses standard notation with practical exercises and clear descriptions and explanations. Contains information on how to relate Z specifications to actual program code and is enhanced to reflect the most current language standards.
Parametre knihy
Zaradenie knihy Knihy po anglicky Computing & information technology Computer programming / software development Programming & scripting languages: general
81.40 €
- Celý názov: Z - An Introduction to Formal Methods 2e
- Autor: Antoni Diller
- Jazyk: Angličtina
- Väzba: Brožovaná
- Počet strán: 394
- EAN: 9780471939733
- ISBN: 0471939730
- ID: 04894683
- Nakladateľ: John Wiley & Sons Inc
- Hmotnosť: 690 g
- Rozmery: 172 × 244 × 21 mm
- Dátum vydania: 03. May 1994
Obľúbené z iného súdka
-
C Programming Language
60.04 € -4 % -
Programming in Lua, fourth edition
35.03 € -17 % -
C++ Concurrency in Action,2E
76.95 € -9 % -
Linux System Programming Techniques
42.72 € -2 % -
Go Programming Language, The
40.19 € -14 % -
C# in Depth, 4E
46.37 € -2 % -
C Programming
89 € -
C++ Templates
73.40 € -2 % -
C++17 - The Complete Guide
55.18 € -2 % -
Functional Programming in C++
48.70 € -
Pro Spring Boot 3
32.09 € -24 % -
Test Driven Development for Embedded C
30.87 € -20 % -
Official Scratch Coding Cards, The (scratch 3.0)
14.17 € -29 % -
Pro Spring 6
42.42 € -24 % -
Beginning C++23
45.86 € -24 % -
Little Schemer
50.01 € -
Zephyr RTOS Embedded C Programming
39.58 € -23 % -
Regular Expressions Cookbook 2e
42.42 € -24 % -
Effective C++
51.23 € -9 % -
21st Century C
48.70 € -
C Interfaces and Implementations
43.74 € -14 % -
Foundations of Agile Python Development
32.09 € -24 % -
Mastering Assembly Programming
39.18 € -1 % -
Unit Testing:Principles, Practices and Patterns
46.37 € -2 % -
C++: A Beginner's Guide, Second Edition
35.74 € -18 % -
Clean C++20
32.09 € -24 % -
Automate The Boring Stuff With Python, 2nd Edition
33.10 € -30 % -
Instructor's Manual t/a Structure and Interpretation of Computer Programs
44.75 € -
TCL/TK Pocket Reference
7.89 € -24 % -
Stochastic Finance with Python
45.86 € -24 % -
Understanding and Using C Pointers
39.28 € -
Modern C++ for Absolute Beginners
35.53 € -24 % -
Programming in Ada 2022
105.50 € -
Structured Programming with COBOL Examples
14.07 € -25 % -
Introducing Erlang, 2e
39.28 € -
C Programming Absolute Beginner's Guide
21.76 € -24 % -
Fanuc CNC Custom Macros
73.91 € -7 % -
C++: The Complete Reference
58.42 € -18 % -
C: The Complete Reference
50.11 € -17 % -
Agile Principles, Patterns, and Practices in C#
73.40 € -2 % -
Art of Writing Efficient Programs
41 € -1 % -
Quantitative Trading Strategies Using Python
38.87 € -25 % -
Implementation Patterns
40.19 € -14 % -
Practical Fraud Prevention
46.47 € -25 % -
D Programming Language
40.19 € -14 % -
Numerical Python
25.10 € -25 % -
Optimized C++
58.22 € -
Lua Programming Gems
31.99 € -25 % -
Jumping Into C++
33.81 €
Osobný odber Bratislava a 12542 dalších
Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies
24 miliónov titulov
Vrátenie do mesiaca
02/210 210 99 (8-15.30h)