Fm 2008, Formal Methods
International Symposium of Formal Methods Europe (15th 2008 Turku, Finland)
₹3,942
Results for “Formal Methods”
Showing 1–24 of 182 books
Formal Methods
Jim Davies, Leila Silva, Adenilso Simao
₹5,534
Formal Methods
Adenilso Simao, Carroll Morgan
₹5,703
Formal Methods
E. W. Beth
₹8,126
Formal Methods
Christiano Braga, Narciso Martí-Oliet
₹3,181
Formal Methods
Leila Ribeiro, Thierry Lecomte
₹4,286
Formal Methods
Thierry Lecomte Leila Ribeiro
₹3,724
Formal Methods
Simone Cavalheiro, José Fiadeiro
₹5,095
Formal Methods
Klaus Havelund, Jan Peleska, Bill Roscoe, Erik de Vink
₹6,998
Formal Methods
Mohammad Reza Mousavi Tiago Massoni
₹4,308
Formal Methods
Hanne Riis Nielson Flemming Nielson
₹2,897
Formal Methods
David Naumann
₹3,647
Formal Methods
Haniel Barbosa, Yoni Zohar
₹4,695
Formal Methods
Volker Stolz Gustavo Carvalho
₹4,033
Formal Methods
Paul Boca, J. P. Bowen, J. I. Siddiqi
₹7,770
Formal Methods for Web Services
International School on Formal Methods for the Design of Computer, Communication, and Software Systems (9th 2009 Bertinoro, Italy)
₹3,014
Integrated Formal Methods
Michael Butler, Luigia Petre, Kaisa Sere
₹5,722
Integrated Formal Methods
Wolfgang Grieskamp, Thomas Santen, Bill Stoddart
₹5,756
NASA Formal Methods
Mihaela Bobaru, Klaus Havelund, Gerard Holzmann
₹5,669
NASA Formal Methods
Alwyn Goodloe, Suzette Person
₹5,613
Integrated Formal Methods
John Derrick, Stefania Gnesi, Diego Latella
₹5,630
Integrated Formal Methods
Dominique Méry, Stephan Merz
₹5,546
Nasa Formal Methods
Sanjai Rayadurgam, Oksana Tkachuk
₹5,452
NASA Formal Methods
Oksana Tkachuk Sanjai Rayadurgam
₹2,775