Kód: 01434249
Formal Methods: State of the Art and New Directions
Autor Paul Boca, Jonathan P. Bowen, Jawed Siddiqi
Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and validation. The self-contained chapters provide readers with rich backgr ... celý popis
- Jazyk:
Angličtina - Vazba: Pevná
- Počet stran: 273
Nakladatelství: Springer London Ltd, 2009
- Více informací o knize
3313 Kč
Skladem u dodavatele v malém množství
Odesíláme za 12-17 dnů
Potřebujete více kusů?Máte-li zájem o více kusů, prověřte, prosím, nejprve dostupnost titulu na naši zákaznické podpoře.
Přidat mezi přání
Mohlo by se vám také líbit
-
Hopscotch
307 Kč -
Divided World
2044 Kč -
British Army Pensioners Abroad 1772-1899
1245 Kč -
Shadow Of The Fox
303 Kč -
The City of Brass
286 Kč -
Eleven Madison Park: The Next Chapter
1462 Kč -
Team Topologies
513 Kč -
Under A Dancing Star
234 Kč -
CBT Workbook for Kids: 40+ Fun Exercises and Activities to Help Children Overcome Anxiety & Face Their Fears at Home, at School, and Out in t
314 Kč -
Gothic Tales of Sheridan Le Fanu
463 Kč -
Moon
252 Kč -
Fazbear Frights Four Book Box Set: An Afk Book Series
856 Kč -
The Loud House Summer Special
205 Kč -
CompTIA Cloud+ Study Guide Exam CV0-003 3e
971 Kč -
Charles X's Wars Volume 1
810 Kč -
Tomorrow, and Tomorrow, and Tomorrow
286 Kč -
Broken Way Bible Study Guide
334 Kč -
Formless Empire
762 Kč -
Field Guide to the Ocean Birds of North America
1392 Kč -
Crisis of the Modern World
426 Kč -
Net Neutrality
4940 Kč -
Inside Agitators
1050 Kč -
Handbook of Semiconductor Lasers and Photonic
9842 Kč -
Biosensing Using Nanomaterials
6006 Kč -
Moral Education
5094 Kč -
Mein Haustier-Lapbook
435 Kč -
Intergrationschancen und -barrieren polnischer Migranten
1588 Kč -
Gunther Grzimek - Architekt des Demokratischen Gruns
2578 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 Formal Methods: State of the Art and New Directions
Nákupem získáte 331 bodů
Anotace knihy
Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and validation. The self-contained chapters provide readers with rich background information and a diverse breadth of specialist material.
Parametry knihy
Zařazení knihy Knihy v angličtině Computing & information technology Computer programming / software development Programming & scripting languages: general
3313 Kč
- Plný název: Formal Methods: State of the Art and New Directions
- Autor: Paul Boca, Jonathan P. Bowen, Jawed Siddiqi
- Jazyk: Angličtina
- Vazba: Pevná
- Počet stran: 273
- EAN: 9781848827356
- ISBN: 1848827350
- ID: 01434249
- Nakladatelství: Springer London Ltd
- Hmotnost: 596 g
- Rozměry: 242 × 165 × 14 mm
- Datum vydání: 21. December 2009
Oblíbené z jiného soudku
-
C Programming Language
1430 Kč -
Automate The Boring Stuff With Python, 2nd Edition
734 Kč -
Go Programming Language, The
947 Kč -
Programming in Lua, fourth edition
964 Kč -
C++ Crash Course
1260 Kč -
Test Driven Development for Embedded C
679 Kč -
Programming
1684 Kč -
Algorithms in C, Parts 1-5
3780 Kč -
Modern Tkinter for Busy Python Developers
779 Kč -
C Programming
2132 Kč -
Modern C++ Design
1598 Kč -
Modern C++ Programming with Test-Driven Development
936 Kč -
C++: A Beginner's Guide, Second Edition
1040 Kč -
Optimized C++
1778 Kč -
C All-in-One Desk Reference for Dummies
909 Kč -
Hands-On Software Architecture with Golang
1564 Kč -
Beginner's Guide to Embedded C Programming
1096 Kč -
Beginner's Guide to Embedded C Programming - Volume 2
1096 Kč -
Schaum's Outline's UML
433 Kč -
C# in Depth, 4E
1236 Kč -
C++ Concurrency in Action,2E
1982 Kč -
Official Scratch Coding Cards, The (scratch 3.0)
441 Kč -
C Programming Absolute Beginner's Guide
637 Kč -
C++ Templates
1859 Kč -
Unit Testing:Principles, Practices and Patterns
1474 Kč -
Programming PIC Microcontrollers with XC8
1238 Kč -
Beginning C++23
1369 Kč -
Lua 5.1 Reference Manual
402 Kč -
Effective C++
1158 Kč -
Practical Object-Oriented Design
991 Kč -
Learn C the Hard Way
836 Kč -
Head First C#, 4e
1335 Kč -
C++17 - The Complete Guide
1520 Kč -
Modern C++ Programming Cookbook
1348 Kč -
Fanuc CNC Custom Macros
2448 Kč -
OCA Java SE 8 Programmer I Certification Guide
1598 Kč -
Instructor's Manual t/a Structure and Interpretation of Computer Programs
1115 Kč -
Functional Programming in C#
1343 Kč -
C++ For Dummies, 7e
665 Kč -
Clean C++20
1036 Kč -
Bascom-AVR Programming
684 Kč -
JavaScript & JQuery - Interactive Front-End Web Development
976 Kč -
Pyqgis Programmer's Guide
1358 Kč -
Programming with QT 2e
1344 Kč -
STL Pocket Reference
212 Kč -
Beginning Spring Boot 3
1214 Kč -
C Programming
4269 Kč -
C++ Programming
6995 Kč -
C++ Cookbook
1128 Kč
Osobní odběr Praha, Brno a 12903 dalších
Copyright ©2008-24 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Balíkovna za 49 Kč
Vrácení do měsíce
571 999 099 (8-15.30h)