Languages
Subject
Format
Availabity
Authors

Search result

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
Dov Dori - Object-Process Methodology
Dov Dori Object-Process Methodology English 03.10.2013 Paperback / Softback Fr. 84.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
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. 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
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
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
Wolfgang Emmerich, Alexander L. Wolf - Component Deployment
Wolfgang Emmerich, Alexander L. Wolf Component Deployment English 11.05.2004 Paperback / Softback Fr. 73.00 6-7 weeks
Don Batory, Charles Consel, Christian Lengauer, Martin Odersky - Domain-Specific Program Generation
Don Batory, Charles Consel, Christian Lengauer, Martin Odersky Domain-Specific Program Generation English 24.05.2004 Paperback / Softback Fr. 70.00 6-7 weeks
S. Melnik, Sergey Melnik - Generic Model Management
S. Melnik, Sergey Melnik Generic Model Management English 28.04.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Hans-Dieter Ehrich, John-Jules Ch. Meyer, Mark Ryan - Objects, Agents, and Features
Hans-Dieter Ehrich, John-Jules Ch. Meyer, Mark Ryan Objects, Agents, and Features English 02.06.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Henk Schepers - Software and Compilers for Embedded Systems
Henk Schepers Software and Compilers for Embedded Systems English 23.08.2004 Paperback / Softback Fr. 70.00 6-7 weeks
Satoshi Matsuoka, Akinori Yonezawa - Metalevel Architectures and Separation of Crosscutting Concerns
Satoshi Matsuoka, Akinori Yonezawa Metalevel Architectures and Separation of Crosscutting Concerns English 12.09.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Craig A. Lee - Grid Computing - GRID 2001
Craig A. Lee Grid Computing - GRID 2001 English 02.11.2001 Paperback / Softback Fr. 70.00 6-7 weeks
Dirk Craeynest, Alfred Strohmeier - Reliable Software Technologies - Ada-Europe 2001
Dirk Craeynest, Alfred Strohmeier Reliable Software Technologies - Ada-Europe 2001 English 02.05.2001 Paperback / Softback Fr. 70.00 6-7 weeks