[email protected]
LIBRISTO 0
Austrian Post 5.99 € DPD courier 6.49 € GLS courier 4.49 €
phone Contact phoneHow to shop

Formal Methods for Industrial Critical Systems

Language EnglishEnglish
Book Paperback
Book Formal Methods for Industrial Critical Systems Stefan Leue
Libristo code: 01570290
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, May 2008
This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Wo... Full description
? points 161 b
68.07 € včetně DPH
Low in stock at our supplier Shipping in 13-16 days
Austria Delivery to Austria

30-day return policy

You might also be interested in

Comic Version of Kid's Zombie Adventure Series Escape from Camp Miccano. Berry Wood / Paperback
common.buy 17.97 €
Constructions of Migrant Integration in British Public Discourse BENNETT SAM / Hardback
common.buy 234.41 €
Flat Squirrel Tony Henderson / Paperback
common.buy 11.55 €
Feminist Discourse and Spanish Cinema Susan Martin-Marquez / Hardback
common.buy 372.07 €
Fantasy City John Hannigan / Hardback
common.buy 332.47 €
Effective Leadership for School Improvement Christopher Chapman / Hardback
common.buy 295.64 €
Gesundheitspflege im Mittelalter Ludwig Kotelmann / Paperback
common.buy 42.28 €
Fosse Lane, Shepton Mallet 1990 Peter Leach / Paperback
common.buy 68.28 €

This book constitutes the thoroughly refereed post-workshop proceedings of the 12th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2007, held in Berlin, Germany, in July 2007 - colocated with CAV 2007, the 19th International Conference on Computer Aided Verification.§The 15 revised full papers presented together with the abstracts of 2 invited lectures were carefully selected during two rounds of reviewing and improvement from 31 initial submissions. The papers strive to promote research and development for the improvement of formal methods and tools for industrial applications and they are organized in topical sections on control systems, scheduling and time, verification, software, and testing.

About the book

Full name Formal Methods for Industrial Critical Systems
Author Stefan Leue, Pedro Merino
Language English
Binding Book - Paperback
Date of issue 2008
Number of pages 254
EAN 9783540797067
ISBN 3540797068
Libristo code 01570290
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 412
Dimensions 155 x 235 x 15

Categories

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Systems analysis & design
Computing & Information Technology > Computer science > Computer architecture & logic design
Give this book today
It's easy
1 Add to cart and choose Deliver as present at the checkout 2 We'll send you a voucher 3 The book will arrive at the recipient's address

Login

Log in to your account. Don't have a Libristo account? Create one now!

 
mandatory
mandatory
Forgotten password

Don’t have an account? Discover the benefits of having a Libristo account!

With a Libristo account, you'll have everything under control.

Create a Libristo account