Languages
Subject
Format
Availabity
Authors

Search result

Frank S. de Boer, Marcello M. Bonsangue, Frank S. De Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... - Formal Methods for Components and Objects
Frank S. de Boer, Marcello M. Bonsangue, Frank S. De Boer, Willem-Paul de Roever, Susanne Graf, Susanne Graf et al... Formal Methods for Components and Objects English 20.10.2006 Paperback / Softback Fr. 70.00 6-7 weeks
Frank Pfenning - Term Rewriting and Applications
Frank Pfenning Term Rewriting and Applications English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Christophe Dony, J. L. Knudsen, Jorgen Lindskov Knudsen, Jorge Lindskov Knudsen, Jorgen Lindskov Knudsen, Alexander Romanovsky... - Advanced Topics in Exception Handling Techniques
Christophe Dony, J. L. Knudsen, Jorgen Lindskov Knudsen, Jorge Lindskov Knudsen, Jorgen Lindskov Knudsen, Alexander Romanovsky... Advanced Topics in Exception Handling Techniques English 20.10.2006 Paperback / Softback Fr. 70.00 6-7 weeks
Davi Lightfoot, David Lightfoot, Szyperski, Szyperski, Clemens Szyperski - Modular Programming Languages
Davi Lightfoot, David Lightfoot, Szyperski, Szyperski, Clemens Szyperski Modular Programming Languages English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Eugene Asarin, Patricia Bouyer - Formal Modeling and Analysis of Timed Systems
Eugene Asarin, Patricia Bouyer Formal Modeling and Analysis of Timed Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Zoltá Ésik, Zoltán Ésik - Computer Science Logic
Zoltá Ésik, Zoltán Ésik Computer Science Logic English 26.06.2009 Paperback / Softback Fr. 135.00 6-7 weeks
David Harel, Oscar Nierstrasz, Gianna Reggio, Jon Whittle - Model Driven Engineering Languages and Systems
David Harel, Oscar Nierstrasz, Gianna Reggio, Jon Whittle Model Driven Engineering Languages and Systems English 14.04.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Jifeng He, Zhiming Liu - Formal Methods and Software Engineering
Jifeng He, Zhiming Liu Formal Methods and Software Engineering English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Klaus Havelund, Manue Núnez, Manuel Núnez, Grigore Rosu, Grigore Rosu et al, Burkhart Wolff - Formal Approaches to Software Testing and Runtime Verification
Klaus Havelund, Manue Núnez, Manuel Núnez, Grigore Rosu, Grigore Rosu et al, Burkhart Wolff Formal Approaches to Software Testing and Runtime Verification English 15.03.2011 Paperback / Softback Fr. 70.00 6-7 weeks
Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata, Masanobu Umeda, Armin Wolf - Declarative Programming for Knowledge Management
Oskar Bartenstein, Ulrich Geske, Dietmar Seipel, Osamu Takata, Masanobu Umeda, Armin Wolf Declarative Programming for Knowledge Management English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Rober A Duff, Robert A Duff, Randall L. Brukardt, Robert A. Duff, Randall L Brukardt et al, Pascal Leroy... - Ada 2005 Reference Manual. Language and Standard Libraries
Rober A Duff, Robert A Duff, Randall L. Brukardt, Robert A. Duff, Randall L Brukardt et al, Pascal Leroy... Ada 2005 Reference Manual. Language and Standard Libraries English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Eduard Ayguadé, Eduard Ayguadè, Geral Baumgartner, Gerald Baumgartner, J. Ramanujam, J Ramanujam et al... - Languages and Compilers for Parallel Computing
Eduard Ayguadé, Eduard Ayguadè, Geral Baumgartner, Gerald Baumgartner, J. Ramanujam, J Ramanujam et al... Languages and Compilers for Parallel Computing English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Bernhard Beckert, Peter H Schmitt, Reine Hähnle, Reiner Hähnle, Peter H. Schmitt - Verification of Object-Oriented Software. The KeY Approach
Bernhard Beckert, Peter H Schmitt, Reine Hähnle, Reiner Hähnle, Peter H. Schmitt Verification of Object-Oriented Software. The KeY Approach English 14.04.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Byro Cook, Byron Cook, Podelski, Podelski, Andreas Podelski - Verification, Model Checking, and Abstract Interpretation
Byro Cook, Byron Cook, Podelski, Podelski, Andreas Podelski Verification, Model Checking, and Abstract Interpretation English 05.08.2009 Paperback / Softback Fr. 70.00 6-7 weeks
K. Denecke, Klaus Denecke, J. Koppitz, Jc6rg Koppitz, Jör Koppitz, Jorg Koppitz... - M-Solid Varieties of Algebras
K. Denecke, Klaus Denecke, J. Koppitz, Jc6rg Koppitz, Jör Koppitz, Jorg Koppitz... M-Solid Varieties of Algebras English 09.03.2006 Hardback Fr. 179.00 6-7 weeks
C Pozrikidis, C. Pozrikidis, Constantine Pozrikidis - Introduction to C++ Programming and Graphics
C Pozrikidis, C. Pozrikidis, Constantine Pozrikidis Introduction to C++ Programming and Graphics English 07.07.2007 Hardback Fr. 110.00 6-7 weeks
Rainer Leupers, Heinric Meyr, Heinrich Meyr, Olive Schliebusch, Oliver Schliebusch - Optimized ASIP Synthesis from Architecture Description Language Models
Rainer Leupers, Heinric Meyr, Heinrich Meyr, Olive Schliebusch, Oliver Schliebusch Optimized ASIP Synthesis from Architecture Description Language Models English 25.06.2009 Hardback Fr. 169.00 6-7 weeks
Jörg Bauer, Thomas Reps, Mool Sagiv, Mooly Sagiv - Program Analysis and Compilation, Theory and Practice
Jörg Bauer, Thomas Reps, Mool Sagiv, Mooly Sagiv Program Analysis and Compilation, Theory and Practice English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Bui Minh Duc, Bui Minh Duc - Real-Time Object Uniform Design Methodology with UML
Bui Minh Duc, Bui Minh Duc Real-Time Object Uniform Design Methodology with UML English 26.06.2009 Hardback Fr. 216.00 6-7 weeks
Sori Alexander Huss, Sorin Alexander Huss, Sorin Huss, Sorin A. Huss, Sorin Alexander Huss - Advances in Design and Specification Languages for Embedded Systems
Sori Alexander Huss, Sorin Alexander Huss, Sorin Huss, Sorin A. Huss, Sorin Alexander Huss Advances in Design and Specification Languages for Embedded Systems English 29.06.2009 Hardback Fr. 216.00 6-7 weeks