Languages
Subject
Format
Availabity
Authors

Search result

András Horváth, Miklós Telek - Formal Methods and Stochastic Models for Performance Evaluation
András Horváth, Miklós Telek Formal Methods and Stochastic Models for Performance Evaluation English 12.06.2006 Paperback / Softback Fr. 69.00 6-7 weeks
Luca de Alfaro, Stephen Gilmore - Process Algebra and Probabilistic Methods. Performance Modelling and Verification
Luca de Alfaro, Stephen Gilmore Process Algebra and Probabilistic Methods. Performance Modelling and Verification English 29.08.2001 Paperback / Softback Fr. 69.00 6-7 weeks
Marlon Dumas, Reiko Heckel - Web Services and Formal Methods
Marlon Dumas, Reiko Heckel Web Services and Formal Methods English 11.04.2008 Paperback / Softback Fr. 69.00 6-7 weeks
Michael Luck, Lin Padgham - Agent-Oriented Software Engineering VIII
Michael Luck, Lin Padgham Agent-Oriented Software Engineering VIII English 29.04.2008 Paperback / Softback Fr. 69.00 6-7 weeks
Masam Hagiya, Masami Hagiya, Wadler, Wadler, Philip Wadler - Functional and Logic Programming
Masam Hagiya, Masami Hagiya, Wadler, Wadler, Philip Wadler Functional and Logic Programming English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Mats Carlsson, Francois Fages, Francois Fages et al, Brahim Hnich, Francesca Rossi - Recent Advances in Constraints
Mats Carlsson, Francois Fages, Francois Fages et al, Brahim Hnich, Francesca Rossi Recent Advances in Constraints English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
BANACH, Banach, Richard Banach, Kung-Ki Lau, Kung-Kiu Lau - Formal Methods and Software Engineering
BANACH, Banach, Richard Banach, Kung-Ki Lau, Kung-Kiu Lau Formal Methods and Software Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
M. Bidoit, Michel Bidoit, P. D. Mosses, Peter D. Mosses - CASL User Manual
M. Bidoit, Michel Bidoit, P. D. Mosses, Peter D. Mosses CASL User Manual English 29.01.2004 Paperback / Softback Fr. 70.00 6-7 weeks
B. K. Aichernig, Bernhard K. Aichernig, T. Maibaum, Tom Maibaum - Formal Methods at the Crossroads. From Panacea to Foundational Support
B. K. Aichernig, Bernhard K. Aichernig, T. Maibaum, Tom Maibaum Formal Methods at the Crossroads. From Panacea to Foundational Support English 18.11.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Atsushi Ohori - Programming Languages and Systems
Atsushi Ohori Programming Languages and Systems English 12.11.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Michael Schroeder, Gerd Wagner - Rules and Rule Markup Languages for the Semantic Web
Michael Schroeder, Gerd Wagner Rules and Rule Markup Languages for the Semantic Web English 09.10.2003 Paperback / Softback Fr. 70.00 6-7 weeks
R. Focardi, Riccardo Focardi, Roberto Gorrieri - Foundations of Security Analysis and Design II
R. Focardi, Riccardo Focardi, Roberto Gorrieri Foundations of Security Analysis and Design II English 28.01.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Evelyn Duesterwald - Compiler Construction
Evelyn Duesterwald Compiler Construction English 18.03.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Susanne Graf, Laurent Mounier - Model Checking Software
Susanne Graf, Laurent Mounier Model Checking Software English 18.03.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Frank Mueller - High-Level Parallel Programming Models and Supportive Environments
Frank Mueller High-Level Parallel Programming Models and Supportive Environments English 04.04.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Matthew Dwyer - Model Checking Software
Matthew Dwyer Model Checking Software English 02.05.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack - Types for Proofs and Programs
Paul Callaghan, Zhaohui Luo, James McKinna, Robert Pollack Types for Proofs and Programs English 20.02.2002 Paperback / Softback Fr. 70.00 6-7 weeks
Yukiyoshi Kameyama, Peter J. Stuckey - Functional and Logic Programming
Yukiyoshi Kameyama, Peter J. Stuckey Functional and Logic Programming English 24.03.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Stein Krogdahl, Tom Lyche, Olaf Owe - From Object-Orientation to Formal Methods
Stein Krogdahl, Tom Lyche, Olaf Owe From Object-Orientation to Formal Methods English 31.03.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Bharat Jayaraman - Practical Aspects of Declarative Languages
Bharat Jayaraman Practical Aspects of Declarative Languages English 14.06.2004 Paperback / Softback Fr. 70.00 6-7 weeks