Explore Books on
methodes formelles (informatique)
1-6 of 6 Books
View Formal methods for components and objects By Marcello M. Bonsangue,Susanne Graf,Willem-Paul de Roever 
Formal methods for components and objects
By Marcello M. Bonsangue,Susanne Graf,Willem-Paul de Roever
View Formal modeling and analysis of timed systems By Wang Yi 
Formal modeling and analysis of timed systems
By Wang Yi
View Formal approaches to software testing By Carsten Weise 
Formal approaches to software testing
By Carsten Weise
View Formal methods in computer-aided design By FMCAD 2004 (2004 Austin, Texas) 
Formal methods in computer-aided design
By FMCAD 2004 (2004 Austin, Texas)
View FM'99-- formal methods By World Congress on Formal Methods in the Development of Computing Systems (1999 Toulouse, France) 
FM'99-- formal methods
By World Congress on Formal Methods in the Development of Computing Systems (1999 Toulouse, France)
View Duration calculus By Chaochen Zhou,Michael R. Hansen 
Duration calculus
By Chaochen Zhou,Michael R. Hansen