Code: 01434249
Formal Methods: State of the Art and New Directions
by 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 ... more
- Language:
English - Binding: Hardback
- Number of pages: 273
Publisher: Springer London Ltd, 2009
- More about this
122.83 €
Low in stock at our supplier
Shipping in 10 - 15 days
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.
Add to wishlist
You might also like
-
Hopscotch
13.08 € -18 % -
Divided World
75.99 € -
British Army Pensioners Abroad 1772-1899
45.92 € -
Shadow Of The Fox
11.45 € -28 % -
The City of Brass
9.91 € -26 % -
Eleven Madison Park: The Next Chapter
60.03 € -21 % -
Team Topologies
23.92 € -12 % -
Under A Dancing Star
8.27 € -25 % -
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
12.57 € -23 % -
Gothic Tales of Sheridan Le Fanu
17.68 € -18 % -
Moon
9.60 € -18 % -
Fazbear Frights Four Book Box Set: An Afk Book Series
31.60 € -23 % -
The Loud House Summer Special
7.35 € -22 % -
CompTIA Cloud+ Study Guide Exam CV0-003 3e
38.86 € -26 % -
Charles X's Wars Volume 1
30.57 € -28 % -
Tomorrow, and Tomorrow, and Tomorrow
10.12 € -25 % -
Broken Way Bible Study Guide
12.06 € -16 % -
Formless Empire
29.75 € -4 % -
Field Guide to the Ocean Birds of North America
56.55 € -5 % -
Crisis of the Modern World
16.97 € -1 % -
Net Neutrality
184.71 € -
Inside Agitators
39.16 € -
Handbook of Semiconductor Lasers and Photonic
364.94 € -
Biosensing Using Nanomaterials
220.92 € -
Moral Education
188.91 € -
Mein Haustier-Lapbook
16.66 € -9 % -
Intergrationschancen und -barrieren polnischer Migranten
58.29 € -2 % -
Gunther Grzimek - Architekt des Demokratischen Gruns
94.60 € -2 %
Give this book as a present today
- Order book and choose Gift Order.
- We will send you book gift voucher at once. You can give it out to anyone.
- Book will be send to donee, nothing more to care about.
More about Formal Methods: State of the Art and New Directions
You get 304 loyalty points
Book synopsis
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.
Book details
Book category Books in English Computing & information technology Computer programming / software development Programming & scripting languages: general
122.83 €
- Full title: Formal Methods: State of the Art and New Directions
- Author: Paul Boca, Jonathan P. Bowen, Jawed Siddiqi
- Language: English
- Binding: Hardback
- Number of pages: 273
- EAN: 9781848827356
- ISBN: 1848827350
- ID: 01434249
- Publisher: Springer London Ltd
- Weight: 596 g
- Dimensions: 242 × 165 × 14 mm
- Date of publishing: 21. December 2009
Trending among others
-
C Programming Language
67.80 € -
Advanced C and C++ Compiling
111.79 € -
Automate The Boring Stuff With Python, 2nd Edition
35.69 € -13 % -
Go Programming Language, The
36.40 € -
Test Driven Development for Embedded C
27.09 € -25 % -
Programming in Lua, fourth edition
38.55 € -16 % -
Algorithms in C, Parts 1-5
146.26 € -
Effective C++
46.43 € -5 % -
Fanuc CNC Custom Macros
93.99 € -5 % -
Modern Tkinter for Busy Python Developers
31.19 € -24 % -
C++ Primer Plus
59.01 € -6 % -
Learn C the Hard Way
32 € -9 % -
C++ Crash Course
47.96 € -21 % -
Modern C++ Programming with Test-Driven Development
32.11 € -21 % -
C++: A Beginner's Guide, Second Edition
39.06 € -11 % -
Optimized C++
65.86 € -
C Primer Plus
66.58 € -6 % -
C All-in-One Desk Reference for Dummies
32.62 € -20 % -
C: The Complete Reference
50.21 € -18 % -
Schaum's Outline's UML
16.46 € -18 % -
C# in Depth, 4E
48.27 € -5 % -
C++ Concurrency in Action,2E
73.02 € -
Programming
67.19 € -14 % -
Official Scratch Coding Cards, The (scratch 3.0)
19.12 € -10 % -
C Programming Absolute Beginner's Guide
24.13 € -10 % -
C++ Templates
71.08 € -12 % -
Unit Testing:Principles, Practices and Patterns
54.20 € -4 % -
Programming PIC Microcontrollers with XC8
49.39 € -25 % -
Beginning C++23
54.71 € -17 % -
Lua 5.1 Reference Manual
16.05 € -24 % -
Modern C++ Design
58.09 € -14 % -
Practical Object-Oriented Design
39.37 € -7 % -
Head First C#, 4e
53.38 € -24 % -
C++17 - The Complete Guide
60.54 € -
Modern C++ Programming Cookbook
53.89 € -
OCA Java SE 8 Programmer I Certification Guide
61.16 € -10 % -
C++ For Dummies, 7e
25.05 € -31 % -
Clean C++20
37.32 € -19 % -
Bascom-AVR Programming
23.51 € -14 % -
Hands-On Software Architecture with Golang
57.68 € -
JavaScript & JQuery - Interactive Front-End Web Development
39.06 € -26 % -
Pyqgis Programmer's Guide
53.89 € -3 % -
Beginner's Guide to Embedded C Programming
40.29 € -1 % -
Programming with QT 2e
49.70 € -
STL Pocket Reference
8.07 € -29 % -
C Programming
158.53 € -
C++ Cookbook
40.49 € -20 % -
Advanced Metaprogramming in Classic C++
100.84 € -
Practical Programming, 3e
40.70 € -28 %
Collection points Bratislava a 2642 dalších
Copyright ©2008-24 najlacnejsie-knihy.sk All rights reservedPrivacyCookies
15549 collection points
Delivery 2.99 €
02/210 210 99 (8-15.30h)