Check order status
LIBRISTO
LIBROAMANTO
mandatory
Forgotten password
Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free
0
Free delivery for purchases over 19 990 Ft
DPD point 990 Ft DPD courier 1 190 Ft GLS point 1 190 Ft Hungarian Post 1 795 Ft Hungarian Post 1 690 Ft Hungarian Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft GLS courier 1 690 Ft
phone Contact phoneHow to shop
Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Formal Methods for Industrial Applications

Specifying and Programming the Steam Boiler Control

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 271 b
41 097 Ft
In stock at our supplier Shipping in 5-8 days

Up to 30 days for returns

Customers also purchased

Observations Geologiques Faites En Italie Gosselet-J / Book Paperback
common.buy 5 284 Ft
Tagebücher Chris Hirte / Book Hardback
common.buy 10 457 Ft
100 osvědčených stavebních detailů Klempířství a pokrývačství Bohumil Štumpa; Jiří Langner; Ondřej Šefců / Book Book
common.buy 5 250 Ft
Der hl.Fridolin und seine Zeit Hermann Ays / Book Hardback
common.buy 7 193 Ft
Historia, Fe y Practicas Menonitas: Un enfoque paraguayo Gerhard Ratzlaff / Book Paperback
common.buy 6 968 Ft
La Mujer Ante La Lei Civil, La Política I El Matrimonio Santiago Vaca Guzman / Book Hardback
common.buy 12 884 Ft
Der Einfluss aeusserer Faktoren auf das Geschlechtsleben in England Iwan Bloch / Book Paperback
common.buy 9 486 Ft
Lucrezia Borgia Maria Bellonci / Book Paperback
common.buy 6 648 Ft
Het betoverde kasteel 1 - Zwarte magie Gotthardt / Audiobook MP3
common.buy 1 474 Ft

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.

Actress & Polyglot
EWA KASP for
Play video
Ewa Kasp
Libristo has the largest selection of foreign-language books. That’s why I buy my books there.

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

You might also be interested in

Methods of Microarray Data Analysis IV Simon M. Lin / Book Paperback
common.buy 41 097 Ft
Statistical Analysis with R for Dummies Schmuller / Book Paperback
common.buy 9 347 Ft
Dreams, Virtue and Divine Knowledge in Early Christian Egypt Bronwen Neil / E-book Adobe ePub DRM
common.buy 48 884 Ft
Visions and Violence in the Pseudepigrapha James H. Charlesworth / Book Hardback
common.buy 48 018 Ft
Chinese Business and the Asian Crisis David Fu-Keung Ip / Book Hardback
common.buy 45 228 Ft
3d Printing And Additive Manufacturing: Principles And Applications - Fifth Edition Of Rapid Prototyping Chee Kai Chua / Book Paperback
common.buy 24 284 Ft
Chinese Masters of the 20th Century Volumes 1: Art of Li Keran Lu Zhangshen / Book Paperback
common.buy 42 208 Ft
Independence Day Richard Ford / Book Paperback
common.buy 7 208 Ft
Light on the Path and Through the Gates of Gold Mabel Collins / Book Paperback
common.buy 5 509 Ft
Occupational Diseases and Health Awareness through Multimedia Senan / Book Paperback
common.buy 3 523 Ft
Classical and Mediaeval Literature Criticism Gale Group / Book Hardback
common.buy 245 211 Ft
Everyday Ethics Paul Brodwin / Book Hardback
common.buy 36 713 Ft
Mobile and Wireless Communication Networks Guy Pujolle / Book Hardback
common.buy 41 097 Ft
Ernest Maltravers Baron Edward Bulwer Lytton Lytton / Book Paperback
common.buy 3 278 Ft
Reception of David Hume In Europe Peter Jones / Book Hardback
common.buy 199 304 Ft
Palestine-Israel a Just Plan for Permanent Peace Jamshid Farshidi / Book Paperback
common.buy 6 251 Ft

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
Book advisor Libroamiko
Hi, I'm Libroamiko, can I help?