"fm 99 formal methods world congress on formal methods in the development of computing systems toulouse france septemb"

255347 résultats

Trier par :

Vous devez être majeur pour voir la couverture des produits pour adultes.

Couverture du produit · Formal Methods in Systems Engineering

Livre Formal Methods in Systems Engineering Peter Ryan

Couverture du produit · Applications Of Formal Methods

Livre Applications Of Formal Methods Hinchey et Bowen

Couverture du produit · Formal Methods for the Design of Real - Time Systems: International School On Formal Methods For The Design Of Computer, Commun

Livre Formal Methods for the Design of Real - Time Systems: International School On Formal Methods For The Design Of Computer, Commun Marco Bernardo et Flavio Corradini

Couverture du produit · Formal Methods and Object Technology

Livre Formal Methods and Object Technology Stephen J. Goldsack et Stuart J.H. Kent

Couverture du produit · Teaching and Learning Formal Methods

Livre Teaching and Learning Formal Methods C. Neville Dean et Michael G. Hinchey

Couverture du produit · Mural: a Formal Development Support System

Livre Mural: a Formal Development Support System C.B. Jones, K.D. Jones, Peter Lindsay, R.D. Moore, J. Bicarregui, M. Elvang-Goransson, B. Ritchie, A.C. Wills, R. Kneuper et R.E. Fields

Couverture du produit · Formal Theories of the Commonsense World

Livre Formal Theories of the Commonsense World Robert C. Moore et Jerry R. Hobbs

Couverture du produit · Mural: A Formal Development Support System

Livre Mural: A Formal Development Support System C. B. Jones, P. A. Lindsay et R. Moore

Couverture du produit · Formal Methods of Program Verification and Specification

Livre Formal Methods of Program Verification and Specification Helmut K. Berg et etc.

Couverture du produit · Formal Methods for Open Object-Based Distributed Systems

Livre Formal Methods for Open Object-Based Distributed Systems Elie Najm et Jean-Bernard Stefani

Couverture du produit · Z.: An Introduction to Formal Methods

Livre Z.: An Introduction to Formal Methods Antoni Diller

Couverture du produit · Formal Methods For Interactive Systems (Computers and People Series)

Livre Formal Methods For Interactive Systems (Computers and People Series) Author Unknown

Couverture du produit · Formal Methods for Open Object-based Distributed Systems V: Ifip Tc6/Wg6.1 Fifth International Conference on Formal Methods for

Livre Formal Methods for Open Object-based Distributed Systems V: Ifip Tc6/Wg6.1 Fifth International Conference on Formal Methods for Bart Jacobs et Arend Rensink

Couverture du produit · Logic Programming: Formal Methods and Practical Applications

Livre Logic Programming: Formal Methods and Practical Applications C. Beierle et L. Pluemer

Couverture du produit · Formal Methods in Standards: A Report from the Bcs Working Group

Livre Formal Methods in Standards: A Report from the Bcs Working Group Derek J. Andrews, Ann Wrightson, Nik Tetteh-Lartey, Clive L. N. Ruggles, Robert Neely, Clive Ruggles, David Blyth, Rick Thomas, David Duce, Patrick Hall et Cornelia Boldyreff

Couverture du produit · Formal Methods for Embedded Distributed Systems: How To Master The Complexity

Livre Formal Methods for Embedded Distributed Systems: How To Master The Complexity Michel Lemoine et Fabrice Kordon

Couverture du produit · Formal Aspects of Context

Livre Formal Aspects of Context Pierre Bonzon, Marcos Cavalcanti et Rolf Nossum

Couverture du produit · A Formal Model of Visualization in Computer Graphics Systems

Livre A Formal Model of Visualization in Computer Graphics Systems Tamiya Onodera et Satoru Kawai

Couverture du produit · Formal Methods in the Study of Language. Part 2. (Mathematical Centre Tracts, Vol. 136).

Livre Formal Methods in the Study of Language. Part 2. (Mathematical Centre Tracts, Vol. 136).

Couverture du produit · Bargaining: Formal Theories of Negotiation

Livre Bargaining: Formal Theories of Negotiation Peter Young

Couverture du produit · The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems

Livre The Theory and Practice of Refinement: Approaches to the Formal Development of Large-Scale Software Systems John A McDermid

Couverture du produit · Regulated Rewriting in Formal Language Theory

Livre Regulated Rewriting in Formal Language Theory Jurgen Dassow et Gheorghe Paun

Couverture du produit · Advanced Methods in Neural Computing

Livre Advanced Methods in Neural Computing Philip D. Wasserman

Couverture du produit · Computing methods in applied sciences and engineering, VI: Proceedings of the Sixth International Symposium on Computing Method

Livre Computing methods in applied sciences and engineering, VI: Proceedings of the Sixth International Symposium on Computing Method R. [Editor]; Lions Glowinski

Résultats par page :

Vous n'avez pas trouvé l'article que vous cherchiez ?

Activez les notifications dans votre compte pour être alerté dès qu'il est en stock.

Créer une alerte