Formal Methods in Programming and Their Applications
Dines Bjørner, Manfred Broy, Igor V. Pottosin
₹5,598
Publisher
Books from Springer
New, genuine Springer titles, delivered free across India.
Page 532 of 1,389
Formal Methods in the Methodology of Empirical Sciences
M. Przelecki
₹12,043
Formal Modeling
Gul Agha, Olivier Danvy, José Meseguer
₹5,627
Formal Modeling and Analysis of Timed Systems
Krishnendu Chatterjee, Thomas A. Henzinger
₹5,517
Formal Modeling and Analysis of Timed Systems
Uli Fahrenberg, Stavros Tripakis
₹5,559
Formal Modeling and Analysis of Timed Systems
Gilles Geeraerts Alessandro Abate
₹5,105
Formal Modeling and Analysis of Timed Systems
Raskin J.
₹2,042
Formal Models of Agents
John-Jules C. Meyer, Pierre-Yves Schobbens
₹5,506
Formal Program Development
Bernhard Möller, Helmut Partsch, Steve Schuman
₹5,569
Formal Properties of Finite Automata and Applications
Jean E. Pin
₹5,572
Formal Semantics and Proof Techniques for Optimizing VHDL Models
Kothanda Umamageswaran, Sheetanshu L. Pandey, Philip A. Wilsey
₹7,762
Formal Semantics for VHDL
Carlos Delgado Kloos
₹7,767
Formal Syntax and Semantics of Java
Jim Alves-Foss
₹5,583
Formal Systems Specification
Manfred Broy, Stephan Merz, Katharina Spies
₹5,659
Formal Techniques for Distributed Objects, Components, and Systems
Ana Sokolova Alexey Gotsman
₹3,598
Formal Techniques for Distributed Systems
John Hatcliff, Elena Zucca
₹5,508
Formal Techniques for Distributed Systems
Roberto Bruni, Juergen Dingel
₹5,630
Formal Techniques for Distributed Systems
Holger Giese, Grigore Rosu
₹5,579
Formal Techniques for Networked and Distributed Systems - Forte 2005
Farn Wang
₹4,444
Formal Techniques for Safety-Critical Systems
Peter Csaba Ölveczky Cyrille Artho
₹4,213
Formal Techniques in Real-Time and Fault-Tolerant Systems
Mathai Joseph
₹5,646
Formal Techniques in Real-Time and Fault-Tolerant Systems
Werner Damm, Ernst-Rüdiger Olderog
₹5,618
Formal Techniques in Real-Time and Fault-Tolerant Systems
Mathai Joseph
₹5,492
Formal Techniques in Real-Time and Fault-Tolerant Systems
Jan Vytopil
₹4,607
