Formal Methods and Software Engineering
Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie
Häftad, 2007
565 kr
Formal Methods and Software Engineering
9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November 14-15, 2007, Proceedings
AvMaria M. Larrondo-Petrie,Michael G. Hinchey
E-bok
PDF, Engelska, 2007734 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet (PDF kräver ofta zoom och scroll på små skärmar).
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
ZUM '98: The Z Formal Specification Notation
Michael G. Hinchey, Andreas Fett, Jonathan P. Bowen
E-bok
2011708 kr
Innovative Concepts for Autonomic and Agent-Based Systems
Walt Truszkowski, Christopher A. Rouff, James L. Rash, Patricia Rago, Michael G. Hinchey
E-bok
2006712 kr
Industrial-Strength Formal Methods in Practice
Jonathan P. Bowen, Michael G. Hinchey
E-bok
20122 036 kr
Formal Approaches to Agent-Based Systems
Michael G. Hinchey, Diana Gordon, Walter Truszkowski, Christopher A. Rouff, James L. Rash
E-bok
2003734 kr
Industrial-Strength Formal Methods in Practice
Michael G. Hinchey, Jonathan P. Bowen
Häftad, 1999
1 681 kr
Formal Approaches to Agent-Based Systems
Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher A. Rouff
Häftad, 2005
565 kr
Formal Approaches to Agent-Based Systems
Michael G. Hinchey, James L. Rash, Walter F. Truszkowski, Christopher Rouff, Diana Gordon-Spears
Häftad, 2003
550 kr
High-Integrity System Specification and Design
Jonathan P. Bowen, Michael G. Hinchey
Häftad, 1999
565 kr
Formal Approaches to Agent-Based Systems
Christopher A. Rouff, Walter F. Truszkowski, James L. Rash, Michael G. Hinchey
E-bok
2005687 kr