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
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
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
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
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
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
P. Augustijns, Patric Augustijns, Patrick Augustijns, Brewster, Brewster, M. Brewster... - Solvent Systems and Their Selection in Pharmaceutics and Biopharmaceutics
P. Augustijns, Patric Augustijns, Patrick Augustijns, Brewster, Brewster, M. Brewster... Solvent Systems and Their Selection in Pharmaceutics and Biopharmaceutics English 07.07.2007 Hardback Fr. 261.00 6-7 weeks
Georg Lausen, Dan Suciu - Database Programming Languages
Georg Lausen, Dan Suciu Database Programming Languages English 26.01.2004 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
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. 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
Rajeev Alur, Insup Lee - Embedded Software
Rajeev Alur, Insup Lee Embedded Software English 29.09.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