Languages
Subject
Format
Availabity
Authors

Search result

John Favaro, Maurizio Morisio - Safe and Secure Software Reuse
John Favaro, Maurizio Morisio Safe and Secure Software Reuse English 06.06.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Ralph Johnson, James Noble, Eugene Wallingford, Uwe Zdun - Transactions on Pattern Languages of Programming III
Ralph Johnson, James Noble, Eugene Wallingford, Uwe Zdun Transactions on Pattern Languages of Programming III English 11.06.2013 Paperback / Softback Fr. 65.00 1-2 weeks (title will be printed to order)
Giovanni Sommaruga - Formal Theories of Information
Giovanni Sommaruga Formal Theories of Information English 22.04.2009 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Pieter van Gorp, Tom Ritter, Louis M Rose, Pieter Van Gorp - Modelling Foundations and Applications
Pieter van Gorp, Tom Ritter, Louis M Rose, Pieter Van Gorp Modelling Foundations and Applications English 06.06.2013 Paperback / Softback Fr. 65.00 1-2 weeks (title will be printed to order)
Markus Müller-Olm - Variations on Constants
Markus Müller-Olm Variations on Constants English 02.10.2006 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna - Rigorous Development of Complex Fault-Tolerant Systems
Michael Butler, Cliff Jones, Alexander Romanovsky, Elena Troubitsyna Rigorous Development of Complex Fault-Tolerant Systems English 27.11.2006 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
George Eleftherakis, Mike Hinchey, Mike Holcombe - Software Engineering and Formal Methods
George Eleftherakis, Mike Hinchey, Mike Holcombe Software Engineering and Formal Methods English 28.08.2012 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Jean-Michel Bruel - Satellite Events at the MoDELS 2005 Conference
Jean-Michel Bruel Satellite Events at the MoDELS 2005 Conference English 25.01.2006 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Tiziana Margaria, Bernhard Steffen - Leveraging Applications of Formal Methods, Verification and Validation
Tiziana Margaria, Bernhard Steffen Leveraging Applications of Formal Methods, Verification and Validation English 11.09.2012 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Oleg Sokolsky, Serdar Tasiran - Runtime Verification
Oleg Sokolsky, Serdar Tasiran Runtime Verification English 12.12.2007 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Georg Lausen, Dan Suciu - Database Programming Languages
Georg Lausen, Dan Suciu Database Programming Languages English 26.01.2004 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
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. 69.00 1-2 weeks (title will be printed to order)
Christian Bliek, Christophe Jermann, Arnold Neumaier - Global Optimization and Constraint Satisfaction
Christian Bliek, Christophe Jermann, Arnold Neumaier Global Optimization and Constraint Satisfaction English 05.11.2003 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Atsushi Ohori - Programming Languages and Systems
Atsushi Ohori Programming Languages and Systems English 12.11.2003 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Corrado Priami - Global Computing. Programming Environments, Languages, Security, and Analysis of Systems
Corrado Priami Global Computing. Programming Environments, Languages, Security, and Analysis of Systems English 24.11.2003 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Egon Börger, Joachim Schmid, Robert F. Stärk - Java and the Java Virtual Machine
Egon Börger, Joachim Schmid, Robert F. Stärk Java and the Java Virtual Machine English 23.08.2014 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Martin Leucker - Runtime Verification
Martin Leucker Runtime Verification English 23.10.2008 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Leszek A. Maciaszek, Kang Zhang - Evaluation of Novel Approaches to Software Engineering
Leszek A. Maciaszek, Kang Zhang Evaluation of Novel Approaches to Software Engineering English 11.01.2013 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael Winikoff - Programming Multi-Agent Systems
Mehdi Dastani, Amal El Fallah Seghrouchni, Alessandro Ricci, Michael Winikoff Programming Multi-Agent Systems English 29.04.2008 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)
Furio Honsell, Marino Miculan, Ivan Scagnetto - Types for Proofs and Programs
Furio Honsell, Marino Miculan, Ivan Scagnetto Types for Proofs and Programs English 26.05.2008 Paperback / Softback Fr. 69.00 1-2 weeks (title will be printed to order)