Kód: 05273677
On the Refinement Calculus
Autor Carroll Morgan, Trevor Vickers
On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of re ... celý popis
- Jazyk:
Angličtina - Vazba: Brožovaná
- Počet stran: 159
Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1994
- Více informací o knize
Mohlo by se vám také líbit
-
Kuma Kuma Kuma Bear (Light Novel) Vol. 9
261 Kč -
Günter Grass 'Die Blechtrommel'
241 Kč -
Hewing Contemporary Bowls
252 Kč -
Cvičebnice Matematika Scio - Národní srovnávací zkoušky
498 Kč -
Acts for Everyone (Part 2)
373 Kč -
Daniel Goes on an Egg Hunt: Ready-To-Read Pre-Level 1
382 Kč -
Riemann's Boundary Problem with Infinite Index
2357 Kč -
Logbooks
576 Kč -
Introduction to Wavelets Through Linear Algebra
1723 Kč -
Euro, Inflation and Consumers' Perceptions
2357 Kč -
Scorsese: Meine italienische Reise, DVD
376 Kč -
Category Theory and Computer Science
1182 Kč -
Agamemnon
423 Kč -
Petit ours brun fête son anniversaire
135 Kč -
Traditionelle Chinesische Medizin
238 Kč -
Banking Bucks by Busting Bureaucratic Barriers: Technical Services Proposal Development
289 Kč -
Das Liederbuch 2004-2010
965 Kč -
EAT HAPPY
608 Kč -
Practical Obstacles to the Avoidance of Double Taxation in Europe
7043 Kč -
Multi-Agent System Engineering
1182 Kč -
More Progresses In Analysis - Proceedings Of The 5th International Isaac Congress
13597 Kč -
'Normative Vorstellungen' zur Arbeitsteilung in der Erwerbsarbeit, Hausarbeit und Kindererziehung
369 Kč -
Abissinia Giornale di un viaggio
368 Kč -
Die Abendburg: Chronika eines Goldsuchers in zwölf Abenteuern
607 Kč -
Vive le Pericarde Libre !
471 Kč -
The Dragon Dimension - 2nd Edition - Rated PG-16: Caught in the Dragon Cove
382 Kč -
Hindi Structures Intermediate Level, with Drills, Exercises, and Key
694 Kč -
Odette - Un printemps à Paris (Nouvelle édition)
523 Kč -
Modern Electroencephalographic Assessment Techniques
2646 Kč -
William Shakespeare - Subject of the Crown?
168 Kč -
Making Sense of the Bible
361 Kč -
Zeitungsanalyse 'Tagespost' 02.1919-03.1919
389 Kč -
Rushing with the Wind
411 Kč -
Dictionnaire alimentaire de la perte de poids
461 Kč -
Die «Vision des Tnugdalus» Albers von Windberg
2845 Kč
Dárkový poukaz: Radost zaručena
- Darujte poukaz v libovolné hodnotě a my se postaráme o zbytek.
- Poukaz se vztahuje na celou naši nabídku.
- Elektronický poukaz vytisknete z e-mailu a můžete ihned darovat.
- Platnost poukazu je 12 měsíců od data vystavení.
Více informací o knize On the Refinement Calculus
Nákupem získáte 118 bodů
Anotace knihy
On the Refinement Calculus gives one view of the development of the refinement calculus and its attempt to bring together - among other things - Z specifications and Dijkstra's programming language. It is an excellent source of reference material for all those seeking the background and mathematical underpinnings of the refinement calculus.
Parametry knihy
Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Programming & scripting languages: general
1182 Kč
- Plný název: On the Refinement Calculus
- Autor: Carroll Morgan, Trevor Vickers
- Jazyk: Angličtina
- Vazba: Brožovaná
- Počet stran: 159
- EAN: 9783540199311
- ISBN: 3540199314
- ID: 05273677
- Nakladatelství: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- Hmotnost: 280 g
- Rozměry: 235 × 155 × 15 mm
- Datum vydání: 13. December 1994
Oblíbené z jiného soudku
-
C++: A Beginner's Guide, Second Edition
812 Kč -
C++ Concurrency in Action,2E
1651 Kč -
Practical TLA+
723 Kč -
Programming in Lua, fourth edition
795 Kč -
C Programming Language
1393 Kč -
C Programming
1956 Kč -
C# in Depth, 4E
1064 Kč -
Pro Spring 6
1025 Kč -
Zephyr RTOS Embedded C Programming
879 Kč -
Agile Principles, Patterns, and Practices in C#
1684 Kč -
Quantitative Trading Strategies Using Python
879 Kč -
Numerical Python
568 Kč -
Unit Testing:Principles, Practices and Patterns
1064 Kč -
C++17 - The Complete Guide
1267 Kč -
Go Programming Language, The
1064 Kč -
C++ Templates
1684 Kč -
Functional Programming in C++
996 Kč -
Test Driven Development for Embedded C
700 Kč -
Official Scratch Coding Cards, The (scratch 3.0)
350 Kč -
Instructor's Manual t/a Structure and Interpretation of Computer Programs
1035 Kč -
Pro Spring Boot 3
775 Kč -
Clean C++20
723 Kč -
TCL/TK Pocket Reference
178 Kč -
Stochastic Finance with Python
1034 Kč -
Regular Expressions Cookbook 2e
956 Kč -
Modern C++ for Absolute Beginners
801 Kč -
Linux System Programming Techniques
981 Kč -
Structured Programming with COBOL Examples
341 Kč -
Introducing Erlang, 2e
904 Kč -
Effective C++
1100 Kč -
C Programming Absolute Beginner's Guide
540 Kč -
Fanuc CNC Custom Macros
1788 Kč -
Beginning C++23
1034 Kč -
Little Schemer
1157 Kč -
C: The Complete Reference
1137 Kč -
Implementation Patterns
915 Kč -
Practical Fraud Prevention
1124 Kč -
D Programming Language
1121 Kč -
Optimized C++
1339 Kč -
21st Century C
1121 Kč -
Understanding and Using C Pointers
904 Kč -
Lua Programming Gems
722 Kč -
C++ High Performance
1084 Kč -
C Interfaces and Implementations
1167 Kč -
Art Of R Programming
802 Kč -
Python in easy steps
274 Kč -
Seasoned Schemer
1337 Kč -
Programming in Ada 2022
2427 Kč -
Foundations of Agile Python Development
775 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 48021 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)