Visar resultat för...

Advances in Formal Methods

73 produkter
Marie-Claude Gaudel, James Woodcock - FME '96: Industrial Benefit and Advances in Formal Methods, Häftad
Del 1051 - Lecture Notes in Computer Science

FME '96: Industrial Benefit and Advances in Formal Methods

Av Marie-Claude Gaudel, James Woodcock

Häftad, Engelska, 1996

1 469 kr

Skickas inom 7-10 vardagar
Asko Riitahuhta, Fay Sudweeks - Advances in Formal Design Methods for CAD, Inbunden

Advances in Formal Design Methods for CAD

Av Asko Riitahuhta, Fay Sudweeks

Inbunden, Engelska, 1996

2 909 kr

Skickas inom 7-10 vardagar
Zhiwu Li, Abdulrahman M. Al-Ahmari - Formal Methods in Manufacturing Systems: Recent Advances, Inbunden

Formal Methods in Manufacturing Systems: Recent Advances

Av Zhiwu Li, Abdulrahman M. Al-Ahmari

Inbunden, Engelska, 2013

3 199 kr

Skickas inom 5-8 vardagar
Asko Riitahuhta, Fay Sudweeks - Advances in Formal Design Methods for CAD, Häftad

Advances in Formal Design Methods for CAD

Av Asko Riitahuhta, Fay Sudweeks

Häftad, Engelska, 2013

2 819 kr

Skickas inom 7-10 vardagar
  • Nyhet
Lamarcus Crowne - Advances in Formal Design Methods for CAD, Inbunden

Advances in Formal Design Methods for CAD

Av Lamarcus Crowne

Inbunden, Engelska, 2025

2 479 kr

Kommande
Joseph A. Goguen, Grant Malcolm - Software Engineering with OBJ, Inbunden
Del 2 - Advances in Formal Methods

Software Engineering with OBJ

Av Joseph A. Goguen, Grant Malcolm

Inbunden, Engelska, 2000

2 909 kr

Skickas inom 7-10 vardagar
Matt Kaufmann, Panagiotis Manolios, J Strother Moore - Computer-Aided Reasoning, Inbunden
Del 4 - Advances in Formal Methods

Computer-Aided Reasoning

Av Matt Kaufmann, Panagiotis Manolios, J Strother Moore

Inbunden, Engelska, 2000

2 909 kr

Skickas inom 7-10 vardagar
Graeme Smith - Object-Z Specification Language, Inbunden
Del 1 - Advances in Formal Methods

Object-Z Specification Language

Av Graeme Smith

Inbunden, Engelska, 1999

2 909 kr

Skickas inom 7-10 vardagar
Joseph A. Goguen, Grant Malcolm - Software Engineering with OBJ, Häftad
Del 2 - Advances in Formal Methods

Software Engineering with OBJ

Av Joseph A. Goguen, Grant Malcolm

Häftad, Engelska, 2010

2 909 kr

Skickas inom 7-10 vardagar
Matt Kaufmann, Panagiotis Manolios, J Strother Moore - Computer-Aided Reasoning, Häftad
Del 4 - Advances in Formal Methods

Computer-Aided Reasoning

Av Matt Kaufmann, Panagiotis Manolios, J Strother Moore

Häftad, Engelska, 2010

2 909 kr

Skickas inom 7-10 vardagar
Graeme Smith - Object-Z Specification Language, Häftad
Del 1 - Advances in Formal Methods

Object-Z Specification Language

Av Graeme Smith

Häftad, Engelska, 2012

2 909 kr

Skickas inom 7-10 vardagar
Pierre Boulet - Advances in Design and Specification Languages for SoCs, Inbunden

Advances in Design and Specification Languages for SoCs

Av Pierre Boulet

Inbunden, Engelska, 2005

2 119 kr

Skickas inom 7-10 vardagar
S. Bologna, G. Bucci - Achieving Quality in Software, Inbunden

Achieving Quality in Software

Av S. Bologna, G. Bucci

Inbunden, Engelska, 1995

2 909 kr

Skickas inom 7-10 vardagar
Elie Najm, Jean-Bernard Stefani - Formal Methods for Open Object-based Distributed Systems, Inbunden

Formal Methods for Open Object-based Distributed Systems

Av Elie Najm, Jean-Bernard Stefani

Inbunden, Engelska, 1996

2 819 kr

Skickas inom 7-10 vardagar
Howard Bowman, John Derrick - Formal Methods for Open Object-based Distributed Systems, Inbunden

Formal Methods for Open Object-based Distributed Systems

Av Howard Bowman, John Derrick

Inbunden, Engelska, 1997

2 819 kr

Skickas inom 7-10 vardagar
David Gries, Willem-Paul de Roever - Programming Concepts and Methods PROCOMET ’98, Inbunden

Programming Concepts and Methods PROCOMET ’98

Av David Gries, Willem-Paul de Roever

Inbunden, Engelska, 1998

2 909 kr

Skickas inom 7-10 vardagar
Bart Jacobs, Arend Rensink, Bart Jacobs, Arend Rensink - Formal Methods for Open Object-Based Distributed Systems V, Inbunden
Del 81 - IFIP Advances in Information and Communication Technology

Formal Methods for Open Object-Based Distributed Systems V

Av Bart Jacobs, Arend Rensink, Bart Jacobs, Arend Rensink

Inbunden, Engelska, 2002

1 469 kr

Skickas inom 7-10 vardagar
International Conference on Formal Metho, Scott F. Smith, Carolyn L. Talcott, Scott F Smith, Carolyn L Talcott - Formal Methods for Open Object-Based Distributed Systems IV, Inbunden
Del 49 - IFIP Advances in Information and Communication Technology

Formal Methods for Open Object-Based Distributed Systems IV

Av International Conference on Formal Metho, Scott F. Smith, Carolyn L. Talcott, Scott F Smith, Carolyn L Talcott

Inbunden, Engelska, 2000

2 909 kr

Skickas inom 7-10 vardagar
Ifip Tc6 Wg6 1 Joint International Confe, Tommaso Bolognesi, Diego Latella - Formal Methods for Distributed System Development, Inbunden
Del 55 - IFIP Advances in Information and Communication Technology

Formal Methods for Distributed System Development

Av Ifip Tc6 Wg6 1 Joint International Confe, Tommaso Bolognesi, Diego Latella

Inbunden, Engelska, 2000

2 909 kr

Skickas inom 7-10 vardagar
International Conference on Formal Metho, International Federation for Information, Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri - Formal Methods for Open Object-Based Distributed Systems, Inbunden
Del 10 - IFIP Advances in Information and Communication Technology

Formal Methods for Open Object-Based Distributed Systems

Av International Conference on Formal Metho, International Federation for Information, Paolo Ciancarini, Alessandro Fantechi, Roberto Gorrieri

Inbunden, Engelska, 1999

2 909 kr

Skickas inom 7-10 vardagar
Jianping Wu, Samuel T. Chanson, Quiang Gao - Formal Methods for Protocol Engineering and Distributed Systems, Inbunden
Del 28 - IFIP Advances in Information and Communication Technology

Formal Methods for Protocol Engineering and Distributed Systems

Av Jianping Wu, Samuel T. Chanson, Quiang Gao

Inbunden, Engelska, 1999

2 909 kr

Skickas inom 7-10 vardagar
Zeliha Dilsun Kirli - Mobile Computation with Functions, Inbunden
Del 5 - Advances in Information Security

Mobile Computation with Functions

Av Zeliha Dilsun Kirli

Inbunden, Engelska, 2002

1 469 kr

Skickas inom 7-10 vardagar
Haydn A. Thompson - Parallel Processing for Jet Engine Control, Häftad

Parallel Processing for Jet Engine Control

Av Haydn A. Thompson

Häftad, Engelska, 2011

1 419 kr

Skickas inom 7-10 vardagar
Zeliha Dilsun Kirli - Mobile Computation with Functions, Häftad

Mobile Computation with Functions

Av Zeliha Dilsun Kirli

Häftad, Engelska, 2012

1 469 kr

Skickas inom 7-10 vardagar
Scott F. Smith, Carolyn L. Talcott - Formal Methods for Open Object-Based Distributed Systems IV, Häftad

Formal Methods for Open Object-Based Distributed Systems IV

Av Scott F. Smith, Carolyn L. Talcott

Häftad, Engelska, 2012

2 909 kr

Skickas inom 7-10 vardagar
S. Bologna, G. Bucci - Achieving Quality in Software, Häftad

Achieving Quality in Software

Av S. Bologna, G. Bucci

Häftad, Engelska, 2013

2 909 kr

Skickas inom 7-10 vardagar