1999, ISBN: 9781852336400
Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter i… Mehr…
Orellfuessli.ch Nr. 1877687. Versandkosten:Lieferzeiten außerhalb der Schweiz 3 bis 21 Werktage, , Versandfertig innert 6 - 9 Werktagen, zzgl. Versandkosten. (EUR 16.79) Details... |
ISBN: 9781852336400
Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter i… Mehr…
BarnesandNoble.com new in stock. Versandkosten:zzgl. Versandkosten. Details... |
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT)) - Taschenbuch
2013, ISBN: 9781852336400
Springer, Taschenbuch, Auflage: 1999, 420 Seiten, Publiziert: 2013-10-04T00:00:01Z, Produktgruppe: Buch, 0.59 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… Mehr…
Amazon.de (Intern... AnybookCom Gut Versandkosten:Auf Lager. Los costos de envío pueden diferir de los costos reales. (EUR 3.00) Details... |
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT)) - Taschenbuch
2013, ISBN: 9781852336400
Springer, Taschenbuch, Auflage: 1999, 420 Seiten, Publiziert: 2013-10-04T00:00:01Z, Produktgruppe: Buch, 0.59 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… Mehr…
Amazon.de (Intern... Prestivo2 Versandkosten:Auf Lager. Los costos de envío pueden diferir de los costos reales. (EUR 3.00) Details... |
1999, ISBN: 9781852336400
Redactor: Hinchey, Michael G. Redactor: Bowen, Jonathan P. Springer, Tapa blanda, Auflage: 1999, 420 Seiten, Publiziert: 1999-09-17T00:00:01Z, Produktgruppe: Libro, 1.29 kg, Ciencias info… Mehr…
amazon.es worldofbooks-es Versandkosten:En stock. Los costos de envío pueden diferir de los costos reales. (EUR 2.99) Details... |
1999, ISBN: 9781852336400
Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter i… Mehr…
ISBN: 9781852336400
Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter i… Mehr…
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT)) - Taschenbuch
2013
ISBN: 9781852336400
Springer, Taschenbuch, Auflage: 1999, 420 Seiten, Publiziert: 2013-10-04T00:00:01Z, Produktgruppe: Buch, 0.59 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… Mehr…
Industrial-Strength Formal Methods in Practice (Formal Approaches to Computing and Information Technology (FACIT)) - Taschenbuch
2013, ISBN: 9781852336400
Springer, Taschenbuch, Auflage: 1999, 420 Seiten, Publiziert: 2013-10-04T00:00:01Z, Produktgruppe: Buch, 0.59 kg, Informatik, IT-Ausbildung & -Berufe, Computer & Internet, Kategorien, Büc… Mehr…
1999, ISBN: 9781852336400
Redactor: Hinchey, Michael G. Redactor: Bowen, Jonathan P. Springer, Tapa blanda, Auflage: 1999, 420 Seiten, Publiziert: 1999-09-17T00:00:01Z, Produktgruppe: Libro, 1.29 kg, Ciencias info… Mehr…
Bibliographische Daten des bestpassenden Buches
Autor: | |
Titel: | |
ISBN-Nummer: |
Detailangaben zum Buch - Industrial-Strength Formal Methods in Practice Michael G. Hinchey Editor
EAN (ISBN-13): 9781852336400
ISBN (ISBN-10): 1852336404
Taschenbuch
Erscheinungsjahr: 1999
Herausgeber: Springer London Core >1 >T
420 Seiten
Gewicht: 0,620 kg
Sprache: eng/Englisch
Buch in der Datenbank seit 2007-01-21T14:41:59+01:00 (Berlin)
Detailseite zuletzt geändert am 2024-02-13T16:49:49+01:00 (Berlin)
ISBN/EAN: 1852336404
ISBN - alternative Schreibweisen:
1-85233-640-4, 978-1-85233-640-0
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: will bowen, computing
Titel des Buches: formal methods, facit, strength, computing information technology
Daten vom Verlag:
Autor/in: Michael G. Hinchey; Jonathan P. Bowen
Titel: Formal Approaches to Computing and Information Technology (FACIT); Industrial-Strength Formal Methods in Practice
Verlag: Springer; Springer London
400 Seiten
Erscheinungsjahr: 1999-09-17
London; GB
Sprache: Englisch
160,49 € (DE)
164,99 € (AT)
177,00 CHF (CH)
Available
XVI, 400 p.
BC; Hardcover, Softcover / Informatik, EDV/Informatik; Software Engineering; Verstehen; Clean; Scheduling; computer-aided design (CAD); development; formal method; formal methods; formal verification; information system; software; software engineering; verification; Software Engineering; Computer Science Logic and Foundations of Programming; Theoretische Informatik; EA
1 It’s Greek to Me: Method in the Madness?.- 2 The French Population Census for 1990.- 3 The Formal Verification of a Payment System.- 4 Specification of a Chemical Process Controller in B.- 5 Formal Analysis of the Motorola CAP DSP.- 6 Bridging the E-Business Gap Through Formal Verification.- 7 A CAD Environment for Safety-Critical Software.- 8 Scheduling and Rescheduling of Trains.- 9 Lessons from the Formal Development of a Radiation Therapy Machine Control Program.- 10 Using Formal Methods to Develop an ATC Information System.- 11 Rigorous Review Technique.- 12 Analysing Z Specifications with Z/EVES.- 13 How to Construct Formal Arguments that Persuade Certifiers.- 14 Formal Methods Through Domain Engineering.- 15 Formal Verification in Railways.- 16 Cleanroom Software Engineering: Theory and Practice.- References.The only book to concentrate specifically on industrial applications
Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:
Neuestes ähnliches Buch:
9781447105237 Industrial-Strength Formal Methods in Practice (Michael G. Hinchey; Jonathan P. Bowen)
< zum Archiv...