Program Development by Refinement
Case Studies Using the B Method
Fr. 250.90
inkl. gesetzl. MwSt.Beschreibung
Details
Format
Kopierschutz
Nein
Family Sharing
Nein
Text-to-Speech
Ja
Erscheinungsdatum
06.12.2012
Herausgeber
Emil Sekerinski + weitereWeitere Bände von Formal Approaches to Computing and Information Technology (FACIT)
-
Zur Artikeldetailseite von Program Development by Refinement des Autors Emil Sekerinski
Emil Sekerinski
Program Development by RefinementeBook
Fr. 250.90
-
Zur Artikeldetailseite von High-Integrity System Specification and Design des Autors Jonathan P. Bowen
Jonathan P. Bowen
High-Integrity System Specification and DesigneBook
Fr. 62.90
Fr. 109.90* -
Zur Artikeldetailseite von Notations for Software Design des Autors Loe M. G. Feijs
Loe M. G. Feijs
Notations for Software DesigneBook
Fr. 62.90
-
Zur Artikeldetailseite von Formal Object-Oriented Development des Autors Kevin Lano
Kevin Lano
Formal Object-Oriented DevelopmenteBook
Fr. 62.90
Fr. 109.90* -
Zur Artikeldetailseite von Systems, Models and Measures des Autors Agnes Kaposi
Agnes Kaposi
Systems, Models and MeasureseBook
Fr. 62.90
-
Zur Artikeldetailseite von The B Language and Method des Autors Kevin Lano
Kevin Lano
The B Language and MethodeBook
Fr. 62.90
-
Zur Artikeldetailseite von Industrial-Strength Formal Methods in Practice des Autors Michael G. Hinchey
Michael G. Hinchey
Industrial-Strength Formal Methods in PracticeeBook
Fr. 187.90
-
Zur Artikeldetailseite von A Theory and Practice of Program Development des Autors Derek J. Andrews
Derek J. Andrews
A Theory and Practice of Program DevelopmenteBook
Fr. 62.90
-
Zur Artikeldetailseite von Formal Methods and Object Technology des Autors Stephen J. Goldsack
Stephen J. Goldsack
Formal Methods and Object TechnologyeBook
Fr. 125.90
Fr. 162.90* -
Zur Artikeldetailseite von On the Refinement Calculus des Autors Carroll Morgan
Carroll Morgan
On the Refinement CalculuseBook
Fr. 62.90
-
Zur Artikeldetailseite von Proof in VDM: Case Studies des Autors Juan C. Bicarregui
Juan C. Bicarregui
Proof in VDM: Case StudieseBook
Fr. 125.90
-
Zur Artikeldetailseite von Formal Methods in Human-Computer Interaction des Autors Philippe Palanque
Philippe Palanque
Formal Methods in Human-Computer InteractioneBook
Fr. 62.90
Unsere Kundinnen und Kunden meinen
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kund*innen durch Ihre Meinung
Erste Bewertung verfassen