Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Jonathan P. Bowen, Michae G Hinchey, Michael G Hinchey, Michael G. Hinchey, P Bowen, P Bowen - Industrial-Strength Formal Methods in Practice
Jonathan P. Bowen, Michae G Hinchey, Michael G Hinchey, Michael G. Hinchey, P Bowen, P Bowen Industrial-Strength Formal Methods in Practice Inglese 01.01.1960 Tascabile Fr. 188.00 1-2 settimane (il titolo viene stampato sull'ordine)
Hung Dang Van, Chri George, Chris George, Tomasz Janowski, Tomasz Janowski et al, Richard Moore - Specification Case Studies in RAISE
Hung Dang Van, Chri George, Chris George, Tomasz Janowski, Tomasz Janowski et al, Richard Moore Specification Case Studies in RAISE Inglese 28.03.2002 Tascabile Fr. 134.00 1-2 settimane (il titolo viene stampato sull'ordine)
Stephen J. Goldsack, Stephe J Goldsack, Stephen J Goldsack, J H Kent, J H Kent, Stuart J. H. Kent... - Formal Methods and Object Technology
Stephen J. Goldsack, Stephe J Goldsack, Stephen J Goldsack, J H Kent, J H Kent, Stuart J. H. Kent... Formal Methods and Object Technology Inglese 19.11.2012 Tascabile Fr. 134.00 1-2 settimane (il titolo viene stampato sull'ordine)
Kevin Lano - The B Language and Method
Kevin Lano The B Language and Method Inglese 19.11.2012 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Derek J Andrews, Derek J. Andrews - A Theory and Practice of Program Development
Derek J Andrews, Derek J. Andrews A Theory and Practice of Program Development Inglese 01.01.1997 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Juan C. Bicarregui, Jua C Bicarregui, Juan C Bicarregui - Proof in VDM: Case Studies
Juan C. Bicarregui, Jua C Bicarregui, Juan C Bicarregui Proof in VDM: Case Studies Inglese 01.01.1998 Tascabile Fr. 134.00 1-2 settimane (il titolo viene stampato sull'ordine)
Philipp Palanque, Philippe Palanque, Paterno, Paterno, Fabio Paterno, Fabio Paternò - Formal Methods in Human-Computer Interaction
Philipp Palanque, Philippe Palanque, Paterno, Paterno, Fabio Paterno, Fabio Paternò Formal Methods in Human-Computer Interaction Inglese 01.01.1998 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Jonathan Bowen, Jonathan P Bowen, Jonathan P. Bowen, Michael G Hinchey, Michael G. Hinchey - High-Integrity System Specification and Design
Jonathan Bowen, Jonathan P Bowen, Jonathan P. Bowen, Michael G Hinchey, Michael G. Hinchey High-Integrity System Specification and Design Inglese 01.01.1999 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Kevin Lano - Formal Object-Oriented Development
Kevin Lano Formal Object-Oriented Development Inglese 15.10.2013 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Agne Kaposi, Agnes Kaposi, Margaret Myers - Systems, Models and Measures
Agne Kaposi, Agnes Kaposi, Margaret Myers Systems, Models and Measures Inglese 15.10.2013 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Carrol Morgan, Carroll Morgan, Vickers, Vickers, Trevor Vickers - On the Refinement Calculus
Carrol Morgan, Carroll Morgan, Vickers, Vickers, Trevor Vickers On the Refinement Calculus Inglese 15.10.2013 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Juan Bicarregui, Juan C Bicarregui, Juan C. Bicarregui, Joh Fitzgerald, John Fitzgerald, John S. Fitzgerald... - Proof in VDM: A Practitioners' Guide
Juan Bicarregui, Juan C Bicarregui, Juan C. Bicarregui, Joh Fitzgerald, John Fitzgerald, John S. Fitzgerald... Proof in VDM: A Practitioners' Guide Inglese 01.01.1993 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Loe M Feijs, Loe M G Feijs, Loe M. G. Feijs, Hans B Jonkers, Hans B M Jonkers, Hans B. M. Jonkers... - Notations for Software Design
Loe M Feijs, Loe M G Feijs, Loe M. G. Feijs, Hans B Jonkers, Hans B M Jonkers, Hans B. M. Jonkers... Notations for Software Design Inglese 01.01.1994 Tascabile Fr. 69.00 1-2 settimane (il titolo viene stampato sull'ordine)
Emi Sekerinski, Emil Sekerinski, SERE, Sere, Kaisa Sere - Program Development by Refinement
Emi Sekerinski, Emil Sekerinski, SERE, Sere, Kaisa Sere Program Development by Refinement Inglese 27.07.2004 Tascabile Fr. 238.00 1-2 settimane (il titolo viene stampato sull'ordine)
Henri Habrias, Mar Frappier, Marc Frappier, HABRIAS, Habrias, Henri Habrias - Software Specification Methods
Henri Habrias, Mar Frappier, Marc Frappier, HABRIAS, Habrias, Henri Habrias Software Specification Methods Inglese 01.01.2000 Tascabile Fr. 147.00 6-7 settimane