Sök

FME '96: Industrial Benefit and Advances in Formal Methods

Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3, Oxford, UK, March 18 - 22, 1996. Proceedings.

AvMarie-Claude Gaudel,James Woodcock

Häftad, Engelska, 1996

1 439 kr

Skickas inom 10-15 vardagar

Advances in Formal Design Methods for CAD

Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995

AvAsko Riitahuhta,Fay Sudweeks

Inbunden, Engelska, 1996

2 849 kr

Skickas inom 10-15 vardagar

Advances in Formal Design Methods for CAD

Proceedings of the IFIP WG5.2 Workshop on Formal Design Methods for Computer-Aided Design, June 1995

AvAsko Riitahuhta,Fay Sudweeks

Häftad, Engelska, 2013

2 769 kr

Skickas inom 10-15 vardagar

Advances in Formal Design Methods for CAD

AvLamarcus Crowne

Inbunden, Engelska, 2025

2 869 kr

Kommande

Advances In Theory And Formal Methods Of Computing: Proceedings Of The Third Imperial College Workshop

AvJOURDAN MCCUSKER JOURDAN A EDALAT,Abbas Edalat,S Jourdan,G Mccusker,Uk) Edalat, Abbas (Imperial College,Uk) Jourdan, S (Imperial College,Uk) Mccusker, G (Imperial College,S. Jourdan,G. Mccusker

Inbunden, Engelska, 1996

2 109 kr

Tillfälligt slut

Software Engineering with OBJ

Algebraic Specification in Action

AvJoseph A. Goguen,Grant Malcolm

Inbunden, Engelska, 2000

2 849 kr

Skickas inom 10-15 vardagar

Computer-Aided Reasoning

ACL2 Case Studies

AvMatt Kaufmann,Panagiotis Manolios,J Strother Moore

Inbunden, Engelska, 2000

2 849 kr

Skickas inom 10-15 vardagar

Object-Z Specification Language

AvGraeme Smith

Inbunden, Engelska, 1999

2 849 kr

Skickas inom 10-15 vardagar

Software Engineering with OBJ

Algebraic Specification in Action

AvJoseph A. Goguen,Grant Malcolm

Häftad, Engelska, 2010

2 849 kr

Skickas inom 10-15 vardagar

Computer-Aided Reasoning

ACL2 Case Studies

AvMatt Kaufmann,Panagiotis Manolios,J Strother Moore

Häftad, Engelska, 2010

2 849 kr

Skickas inom 10-15 vardagar

Object-Z Specification Language

AvGraeme Smith

Häftad, Engelska, 2012

2 849 kr

Skickas inom 10-15 vardagar

Backstepping Control of Nonlinear Dynamical Systems

AvSundarapandian Vaidyanathan,Ahmad Taher Azar,India) Vaidyanathan, Sundarapandian (Professor, Research and Development Centre, Vel Tech University, Avadi, Chennai-600 062, Tamil Nadu,Egypt) Taher Azar, Ahmad (Research Associate Professor, Prince Sultan University, Riyadh, Kingdom Saudi Arabia; Associate Professor, Faculty of Computers and Artificial intelligence, Benha University,Ahmad Taher Azar

Häftad, Engelska, 2020

2 639 kr

Skickas inom 7-10 vardagar

Advances in Design and Specification Languages for SoCs

Selected Contributions from FDL'04

AvPierre Boulet

Inbunden, Engelska, 2005

2 079 kr

Skickas inom 10-15 vardagar

Achieving Quality in Software

Proceedings of the third international conference on achieving quality in software, 1996

AvS. Bologna,G. Bucci

Inbunden, Engelska, 1995

2 849 kr

Skickas inom 10-15 vardagar

Formal Methods for Open Object-based Distributed Systems

Volume 1

AvElie Najm,Jean-Bernard Stefani

Inbunden, Engelska, 1996

2 849 kr

Skickas inom 10-15 vardagar

Formal Methods for Open Object-based Distributed Systems

Volume 2

AvHoward Bowman,John Derrick

Inbunden, Engelska, 1997

2 849 kr

Skickas inom 10-15 vardagar

Programming Concepts and Methods PROCOMET ’98

IFIP TC2 / WG2.2, 2.3 International Conference on Programming Concepts and Methods (PROCOMET ’98) 8–12 June 1998, Shelter Island, New York, USA

AvDavid Gries,Willem-Paul de Roever

Inbunden, Engelska, 1998

2 849 kr

Skickas inom 10-15 vardagar

Formal Methods for Open Object-Based Distributed Systems V

IFIP TC6 / WG6.1 Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2002) March 20–22, 2002, Enschede, The Netherlands

AvBart Jacobs,Arend Rensink,Bart Jacobs,Arend Rensink

Inbunden, Engelska, 2002

1 439 kr

Skickas inom 10-15 vardagar

Formal Methods for Open Object-Based Distributed Systems IV

IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA

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

Inbunden, Engelska, 2000

2 849 kr

Skickas inom 10-15 vardagar

Formal Methods for Distributed System Development

FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy

AvIfip Tc6 Wg6 1 Joint International Confe,Tommaso Bolognesi,Diego Latella

Inbunden, Engelska, 2000

2 849 kr

Skickas inom 10-15 vardagar

Formal Methods for Open Object-Based Distributed Systems

IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy

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

Inbunden, Engelska, 1999

2 849 kr

Skickas inom 10-15 vardagar

Formal Methods for Protocol Engineering and Distributed Systems

Forte XII / PSTV XIX’99

AvJianping Wu,Samuel T. Chanson,Quiang Gao

Inbunden, Engelska, 1999

2 849 kr

Skickas inom 10-15 vardagar

Mobile Computation with Functions

AvZeliha Dilsun Kirli

Inbunden, Engelska, 2002

1 439 kr

Skickas inom 10-15 vardagar

Parallel Processing for Jet Engine Control

AvHaydn A. Thompson

Häftad, Engelska, 2011

1 399 kr

Skickas inom 10-15 vardagar

Mobile Computation with Functions

AvZeliha Dilsun Kirli

Häftad, Engelska, 2012

1 439 kr

Skickas inom 10-15 vardagar

Formal Methods in Manufacturing Systems

Recent Advances

AvZhiwu Li,Abdulrahman M. Al-Ahmari

Inbunden, Engelska, 2013

3 159 kr

Skickas inom 5-8 vardagar

Formal Methods for Open Object-Based Distributed Systems IV

IFIP TC6/WG6.1. Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS 2000) September 6–8, 2000, Stanford, California, USA

AvScott F. Smith,Carolyn L. Talcott

Häftad, Engelska, 2012

2 849 kr

Skickas inom 10-15 vardagar

Achieving Quality in Software

Proceedings of the third international conference on achieving quality in software, 1996

AvS. Bologna,G. Bucci

Häftad, Engelska, 2013

2 849 kr

Skickas inom 10-15 vardagar

Formal Methods for Distributed System Development

FORTE / PSTV 2000 IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XIII) and Protocol Specification, Testing and Verification (PSTV XX) October 10–13, 2000, Pisa, Italy

AvTommaso Bolognesi,Diego Latella

Häftad, Engelska, 2013

2 769 kr

Skickas inom 10-15 vardagar

Formal Methods for Open Object-Based Distributed Systems

IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy

AvPaolo Ciancarini,Alessandro Fantechi,Roberto Gorrieri

Häftad, Engelska, 2013

2 849 kr

Skickas inom 10-15 vardagar