Verwandte Artikel zu Formal Methods: Theory and Practice
Inhaltsangabe
This book is a self-contained exposition of formal (i. e. rigorous, mathematical) methods for the specification, analysis and verification of system design. Representative applications of these methods are given to software specification and communications standardisation. The book is aimed at practising design engineers, rather than at theoretical computer scientists.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Reseña del editor
This book is a self-contained exposition of formal (i. e. rigorous, mathematical) methods for the specification, analysis and verification of system design. Representative applications of these methods are given to software specification and communications standardisation. The book is aimed at practising design engineers, rather than at theoretical computer scientists.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
EUR 109,44
EUR 12,23 für den Versand von Vereinigtes Königreich nach USA
Versandziele, Kosten & Dauer
Suchergebnisse für Formal Methods: Theory and Practice
Beispielbild für diese ISBN
Formal Methods: Theory and Practice
Anbieter: Phatpocket Limited, Waltham Abbey, HERTS, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Artikel-Nr. Z1-J-009-01768
Anzahl: 1 verfügbar