[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 Applications

Language EnglishEnglish
Book Paperback
Book Formal Methods for Industrial Applications Jean-Raymond Abrial
Libristo code: 01566246
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, October 1996
This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evalua... Full description
? points 317 b
134.22 € 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

TOP
100 osvědčených stavebních detailů Klempířství a pokrývačství Bohumil Štumpa; Jiří Langner; Ondřej Šefců / Book
common.buy 13.58 €
"Feindstrafrecht" José L. González Cussac / Paperback
common.buy 21.30 €
Everyday Ethics Paul Brodwin / Hardback
common.buy 128.12 €
Ernest Maltravers Baron Edward Bulwer Lytton Lytton / Paperback
common.buy 21.08 €
Der hl.Fridolin und seine Zeit Hermann Ays / Hardback
common.buy 21.30 €
Tagebücher Chris Hirte / Hardback
common.buy 29.97 €
Mobile and Wireless Communication Networks Guy Pujolle / Hardback
common.buy 134.22 €

This book, with the CD-ROM included, is the documentation of a unique collaborative effort in evaluating formal methods for usage under industrial constraints: the major techniques for formally supported specification, design, and verification of large programs and complex systems are applied to a non-trivial and non-academic problem which is typical for industrial informal requirements specifications.The 21 papers included in the book, together with an introduction and competition report, were selected from 33 candidate solutions. This book comes with a CD-ROM containing, besides the printed papers, executable code, full definitions of all parts of the specifications, and detailed descriptions of foundational matters where appropriate.

About the book

Full name Formal Methods for Industrial Applications
Author Jean-Raymond Abrial, Egon Börger, Hans Langmaack
Language English
Binding Book - Paperback
Date of issue 1996
Number of pages 523
EAN 9783540619291
ISBN 3540619291
Libristo code 01566246
Publishers Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Weight 795
Dimensions 155 x 235 x 29

Categories

Technology, Engineering, Agriculture > Mechanical engineering & materials > Mechanical engineering > Engines & power transmission
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
Economics, Finance, Business & Management > Business & Management
Economics, Finance, Business & Management > Industry & industrial studies
Computing & Information Technology > Operating systems
Computing & Information Technology > Computer science
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