Formal Methods in Computer Science
William Tepfenhart, Jiacun Wang
₹15,765
Results for “Formal methods (Computer science)”
Showing 1–24 of 40 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
Categorical Methods in Computer Science
Hartmut Ehrig, Horst Herrlich, Hans-Jörg Kreowski
₹5,554
Coalgebraic Methods in Computer Science
Jurriaan Rot Daniela Petrişan
₹3,827
Coalgebraic Methods in Computer Science
Corina Cîrstea
₹4,243
Coalgebraic Methods in Computer Science
Corina Cîrstea
₹2,721
Relational Methods in Computer Science
International Seminar on Relational Methods in Computer Science (8th 2005 St. Catharines, Ont.)
₹4,342
Coalgebraic Methods in Computer Science
Helle Hvid Hansen, Fabio Zanasi
₹8,526
Coalgebraic Methods in Computer Science
Marcello M. Bonsangue
₹3,777
Relational and Algebraic Methods in Computer Science
Harrie De Swart
₹5,576
Mathematical and Engineering Methods in Computer Science
Zdeněk Kotásek, Jan Bouda, Ivana Cerná
₹5,705
Relational and Algebraic Methods in Computer Science
Peter Höfner, Damien Pous, Georg Struth
₹3,068
Mathematical and Engineering Methods in Computer Science
Jan Kofroň, Karel Pala
₹3,178
Relational and Algebraic Methods in Computer Science
Uli Fahrenberg, Mai Gehrke, Michael Winter
₹6,141
Relational and Algebraic Methods in Computer Science
Jules Desharnais, Walter Guttmann, Stef Joosten
₹2,751
Relational and Algebraic Methods in Computer Science
Uli Fahrenberg, Peter Jipsen, Michael Winter
₹4,147
Probabilistic and Statistical Methods in Computer Science
René Schott, Jean-François Mari
₹7,746
Formal Methods in the Methodology of Empirical Sciences
M. Przelecki
₹12,043
Formal Methods in Human-Computer Interaction (Formal Approaches to Computing and Information Technology (FACIT))
Philippe Palanque
₹4,234
Relational and Kleene-Algebraic Methods in Computer Science
R. Berghammer, Bernhard Möller, Georg Struth
₹5,534
From Semantics to Computer Science by Yves Bertot – Formal Semantics
Yves Bertot, Gérard Huet, Jean-Jacques Lévy
₹4,169
Applications of Categories in Computer Science by M. P. Fourman – Category Theory Computer Science
M. P. Fourman, P. T. Johnstone, A. M. Pitts
₹5,809