Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Wolfgang Grieskamp, Alexandre Petrenko, Jan Tretmans, Margus Veanes - Testing of Software and Communicating Systems
Wolfgang Grieskamp, Alexandre Petrenko, Jan Tretmans, Margus Veanes Testing of Software and Communicating Systems Inglese 29.01.2013 Tascabile Fr. 70.00 6-7 settimane
Jim Davies, Jeremy Gibbons - Integrated Formal Methods
Jim Davies, Jeremy Gibbons Integrated Formal Methods Inglese 29.01.2013 Tascabile Fr. 135.00 6-7 settimane
J. Mermet, Jea Mermet, Jean Mermet - Electronic Chips & Systems Design Languages
J. Mermet, Jea Mermet, Jean Mermet Electronic Chips & Systems Design Languages Inglese 01.07.2009 Copertina rigida Fr. 260.00 6-7 settimane
Peter J. Ashenden, J. Mermet, Jea Mermet, Jean Mermet, Ralf Seepold - System-on-Chip Methodologies & Design Languages
Peter J. Ashenden, J. Mermet, Jea Mermet, Jean Mermet, Ralf Seepold System-on-Chip Methodologies & Design Languages Inglese 14.04.2009 Copertina rigida Fr. 226.00 6-7 settimane
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 Inglese 20.10.2006 Tascabile Fr. 70.00 6-7 settimane
Frank Pfenning - Term Rewriting and Applications
Frank Pfenning Term Rewriting and Applications Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 20.10.2006 Tascabile Fr. 70.00 6-7 settimane
Davi Lightfoot, David Lightfoot, Szyperski, Szyperski, Clemens Szyperski - Modular Programming Languages
Davi Lightfoot, David Lightfoot, Szyperski, Szyperski, Clemens Szyperski Modular Programming Languages Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Eugene Asarin, Patricia Bouyer - Formal Modeling and Analysis of Timed Systems
Eugene Asarin, Patricia Bouyer Formal Modeling and Analysis of Timed Systems Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
Zoltá Ésik, Zoltán Ésik - Computer Science Logic
Zoltá Ésik, Zoltán Ésik Computer Science Logic Inglese 26.06.2009 Tascabile Fr. 135.00 6-7 settimane
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 Inglese 14.04.2009 Tascabile Fr. 135.00 6-7 settimane
Jifeng He, Zhiming Liu - Formal Methods and Software Engineering
Jifeng He, Zhiming Liu Formal Methods and Software Engineering Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
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 Inglese 15.03.2011 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 19.02.2009 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 19.02.2009 Tascabile Fr. 135.00 6-7 settimane
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 Inglese 14.04.2009 Tascabile Fr. 70.00 6-7 settimane
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 Inglese 14.04.2009 Tascabile Fr. 135.00 6-7 settimane
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 Inglese 05.08.2009 Tascabile Fr. 70.00 6-7 settimane
Carlos Martin-Vide, Victo Mitrana, Victor Mitrana, Gheorghe P un, Gheorghe P¿un, Gheorghe Paun... - Formal Languages and Applications
Carlos Martin-Vide, Victo Mitrana, Victor Mitrana, Gheorghe P un, Gheorghe P¿un, Gheorghe Paun... Formal Languages and Applications Inglese 25.07.2013 Tascabile Fr. 239.00 6-7 settimane
Simo Stobart, Simon Stobart, Mike Vassileiou - PHP and MySQL Manual
Simo Stobart, Simon Stobart, Mike Vassileiou PHP and MySQL Manual Inglese 20.08.2013 Tascabile Fr. 70.00 6-7 settimane