Languages
Subject
Format
Availabity
Authors

Search result

Ouyang Chun, Chun Ouyang, Emilio Tuosto - Web Services and Formal Methods
Ouyang Chun, Chun Ouyang, Emilio Tuosto Web Services and Formal Methods English 25.07.2014 Paperback / Softback Fr. 56.90 6-7 weeks
João Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum - Declarative Agent Languages and Technologies II
João Leite, Andrea Omicini, Paolo Torroni, Pinar Yolum Declarative Agent Languages and Technologies II English 16.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Georgios Paliouras, Yasubumi Sakakibara - Grammatical Inference: Algorithms and Applications
Georgios Paliouras, Yasubumi Sakakibara Grammatical Inference: Algorithms and Applications English 05.10.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Márcio Cornélio, Bill Roscoe - Formal Methods: Foundations and Applications
Márcio Cornélio, Bill Roscoe Formal Methods: Foundations and Applications English 03.02.2016 Paperback / Softback Fr. 56.90 6-7 weeks
Arie Gurfinkel, Sanjit A. Seshia - Verified Software: Theories, Tools, and Experiments
Arie Gurfinkel, Sanjit A. Seshia Verified Software: Theories, Tools, and Experiments English 29.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Peter Van Roy, Peter Van Roy - Multiparadigm Programming in Mozart/Oz
Peter Van Roy, Peter Van Roy Multiparadigm Programming in Mozart/Oz English 01.03.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Patrick Godefroid - Model Checking Software
Patrick Godefroid Model Checking Software English 09.08.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Tullio Vardanega, Andy Wellings - Reliable Software Technology - Ada-Europe 2005
Tullio Vardanega, Andy Wellings Reliable Software Technology - Ada-Europe 2005 English 08.06.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Marco Bernardo, Jane Hillston - Formal Methods for Performance Evaluation
Marco Bernardo, Jane Hillston Formal Methods for Performance Evaluation English 18.05.2007 Paperback / Softback Fr. 70.00 6-7 weeks
Wolfgang Grieskamp, Carsten Weise - Formal Approaches to Software Testing
Wolfgang Grieskamp, Carsten Weise Formal Approaches to Software Testing English 30.05.2006 Paperback / Softback Fr. 70.00 6-7 weeks
Pekka Abrahamsson, Michele Marchesi, Giancarlo Succi - Extreme Programming and Agile Processes in Software Engineering
Pekka Abrahamsson, Michele Marchesi, Giancarlo Succi Extreme Programming and Agile Processes in Software Engineering English 09.06.2006 Paperback / Softback Fr. 70.00 6-7 weeks
Roberto Gorrieri, Heike Wehrheim - Formal Methods for Open Object-Based Distributed Systems
Roberto Gorrieri, Heike Wehrheim Formal Methods for Open Object-Based Distributed Systems English 09.06.2006 Paperback / Softback Fr. 70.00 6-7 weeks
Rastislav Bodik - Compiler Construction
Rastislav Bodik Compiler Construction English 24.03.2005 Paperback / Softback Fr. 70.00 6-7 weeks
A. Moreira - Early Aspects: Current Challenges and Future Directions
A. Moreira Early Aspects: Current Challenges and Future Directions English 14.12.2007 Paperback / Softback Fr. 70.00 6-7 weeks
Markus Lumpe, Wim Vanderperren - Software Composition
Markus Lumpe, Wim Vanderperren Software Composition English 13.12.2007 Paperback / Softback Fr. 70.00 6-7 weeks
Martin Leucker - Runtime Verification
Martin Leucker Runtime Verification English 23.10.2008 Paperback / Softback Fr. 70.00 6-7 weeks
Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders - Communicating Sequential Processes. The First 25 Years
Ali E. Abdallah, Cliff B. Jones, Jeff W. Sanders Communicating Sequential Processes. The First 25 Years English 03.05.2005 Paperback / Softback Fr. 70.00 6-7 weeks
Andrew Butterfield, Clemens Grelck, Frank Huch - Implementation and Application of Functional Languages
Andrew Butterfield, Clemens Grelck, Frank Huch Implementation and Application of Functional Languages English 27.12.2006 Paperback / Softback Fr. 70.00 6-7 weeks
Rohit Gheyi, David Naumann - Formal Methods: Foundations and Applications
Rohit Gheyi, David Naumann Formal Methods: Foundations and Applications English 11.08.2012 Paperback / Softback Fr. 66.00 6-7 weeks
Olivier Barais, Benoit Combemale, David Pearce, Jurgen Vinju - Software Language Engineering
Olivier Barais, Benoit Combemale, David Pearce, Jurgen Vinju Software Language Engineering English 23.09.2014 Paperback / Softback Fr. 70.00 6-7 weeks