Formal Methods in Computer Science
William Tepfenhart, Jiacun Wang
₹15,765
Results for “Formal methods (Computer scien”
Showing 1–15 of 15 books
Formal Methods in Computer-Aided Design
Mandayam Srivas, Albert Camilleri
₹5,617
Formal Methods in Computer-Aided Design
Mark D. Aagaard, John W. O'Leary
₹5,593
Formal Methods in Computer-Aided Design
Alan J. Hu, Andrew K. Martin
₹5,605
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology (FACIT))
Philippe Palanque
₹4,234
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
Formal Methods for Eternal Networked Software Systems
Marco Bernardo, Valerie Issarny
₹5,669
Formal Methods for Quantitative Aspects of Programming Languages
Alessandro Aldini, Marco Bernardo, Alessandra Di Pierro
₹5,468
Formal Methods for Model-Driven Engineering
Marco Bernardo, Vittorio Cortellessa, Alfonso Pierantonio
₹5,672
Formal Methods for Hardware Verification
Marco Bernardo, Alessandro Cimatti
₹5,499
Formal Methods for Multicore Programming
Marco Bernardo, Einar Broch Johnsen
₹3,762
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Marco Bernardo, Rocco De Nicola, Jane Hillston
₹4,563
Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems
Marco Bernardo, Rocco De Nicola, Jane Hillston
₹4,240
Formal Methods for Dynamical Systems
Marco Bernardo
₹3,631
Computer-Aided Verification
Robert Kurshan
₹11,568