Articles liés à Formal Development of Reactive Systems: Case Study...
Synopsis
This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to the control of a real-world production cell. Mathematically precise, formal methods play an increasingly important role in software development, particularly in areas where failure of software would result in injury to people or, at best, significant loss of money. By analyzing the benefits and explaining the use and limitations of formal methods on a sample basis, this book provides a roadmap for the selection and application of appropriate approaches and thus helps in putting formal methods into industrial use.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Formal Development of Reactive Systems: Case Study...
Image d'archives
Formal Development of Reactive Systems: Case Study Production Cell (Lecture Notes in Computer Science)
Edité par
Springer, 1995
ISBN 10 : 3540588671
ISBN 13 : 9783540588672
Ancien ou d'occasion
Paperback
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. Sorry, No international shipping on this item.Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding. N° de réf. du vendeur UTD141179A
Acheter D'occasion
EUR 33,05
Expédition à EUR 6,24
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Development of Reactive Systems: Case Study Production Cell (Lecture Notes in Computer Science, 891)
Edité par
Springer, 1995
ISBN 10 : 3540588671
ISBN 13 : 9783540588672
Ancien ou d'occasion
Trade Paperback
Vendeur : BASEMENT BOOKS, Albuquerque, NM, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Trade Paperback. Etat : Fine. Soft cover 8vo in printed wraps. Fine and unmarked. 591pp; illustrated in diagrams and drawings. 412 p. Book. N° de réf. du vendeur 047732
Acheter D'occasion
EUR 35,11
Expédition à EUR 6,21
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Development of Reactive Systems : Case Study Production Cell
Edité par
Springer Berlin / Heidelberg, 1995
ISBN 10 : 3540588671
ISBN 13 : 9783540588672
Ancien ou d'occasion
Couverture souple
Vendeur : Better World Books, Mishawaka, IN, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good. N° de réf. du vendeur GRP77595149
Acheter D'occasion
EUR 41,69
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Development Of Reactive Systems: Case Study Production Cell
Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. N° de réf. du vendeur ABBB-155902
Acheter neuf
EUR 52,65
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Development Of Reactive Systems: Case Study Production Cell
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEOCT25-241581
Acheter neuf
EUR 52,65
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Development of Reactive Systems
Edité par
Springer, 1995
ISBN 10 : 3540588671
ISBN 13 : 9783540588672
Ancien ou d'occasion
Couverture souple
Vendeur : Books Puddle, Woodside, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : Used. pp. 412. N° de réf. du vendeur 263078319
Acheter D'occasion
EUR 59,18
Expédition à EUR 3,56
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Development of Reactive Systems
Edité par
Springer, 1995
ISBN 10 : 3540588671
ISBN 13 : 9783540588672
Ancien ou d'occasion
Couverture souple
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : Used. pp. 412 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam. N° de réf. du vendeur 5850992
Acheter D'occasion
EUR 55,61
Expédition à EUR 7,67
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Development of Reactive Systems
Edité par
Springer, 1995
ISBN 10 : 3540588671
ISBN 13 : 9783540588672
Ancien ou d'occasion
Couverture souple
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : Used. pp. 412. N° de réf. du vendeur 183078309
Acheter D'occasion
EUR 55,61
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Development of Reactive Systems: Case Study Production Cell (Lecture Notes in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783540588672
Acheter neuf
EUR 58,08
Expédition à EUR 18,27
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Formal Development of Reactive Systems
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Jan 1995, 1995
ISBN 10 : 3540588671
ISBN 13 : 9783540588672
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book is based upon work done under the project 'Correct Software through Formal Methods' supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to the control of a real-world production cell. Mathematically precise, formal methods play an increasingly important role in software development, particularly in areas where failure of software would result in injury to people or, at best, significant loss of money. By analyzing the benefits and explaining the use and limitations of formal methods on a sample basis, this book provides a roadmap for the selection and application of appropriate approaches and thus helps in putting formal methods into industrial use. 412 pp. Englisch. N° de réf. du vendeur 9783540588672
Acheter neuf
EUR 53,49
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)