Languages
Subject
Format
Availabity
Authors

Search result

Peter Bollen, Ioana Ciuciu, Christophe Debruyne, Robert Meersman, Hervé Panetto, Maria-Esther Vidal... - On the Move to Meaningful Internet Systems. OTM 2017 Workshops
Peter Bollen, Ioana Ciuciu, Christophe Debruyne, Robert Meersman, Hervé Panetto, Maria-Esther Vidal... On the Move to Meaningful Internet Systems. OTM 2017 Workshops English 29.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov - Formal Verification of Object-Oriented Software
Bernhard Beckert, Ferruccio Damiani, Dilian Gurov Formal Verification of Object-Oriented Software English 19.07.2012 Paperback / Softback Fr. 66.00 6-7 weeks
Olivier Boissier, Virginia Dignum, Gabriela Lindemann, Eric T Matson, Sascha Ossowski, Julian Padget... - Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems
Olivier Boissier, Virginia Dignum, Gabriela Lindemann, Eric T Matson, Sascha Ossowski, Julian Padget... Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems English 26.06.2006 Paperback / Softback Fr. 70.00 6-7 weeks
Ralf Lämmel, João Saraiva, Joost Visser - Generative and Transformational Techniques in Software Engineering
Ralf Lämmel, João Saraiva, Joost Visser Generative and Transformational Techniques in Software Engineering English 29.09.2006 Paperback / Softback Fr. 70.00 6-7 weeks
Nadia Polikarpova, Steve Schneider - Integrated Formal Methods
Nadia Polikarpova, Steve Schneider Integrated Formal Methods English 27.08.2017 Paperback / Softback Fr. 70.00 6-7 weeks
González Harbour, González Harbour, Michael González Harbour, Luí Miguel Pinho, Luís Miguel Pinho, Luis Miguel Pinho... - Reliable Software Technologies -- Ada-Europe 2006
González Harbour, González Harbour, Michael González Harbour, Luí Miguel Pinho, Luís Miguel Pinho, Luis Miguel Pinho... Reliable Software Technologies -- Ada-Europe 2006 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Paol Ciancarini, Paolo Ciancarini, Wiklicky, Wiklicky, Herbert Wiklicky - Coordination Models and Languages
Paol Ciancarini, Paolo Ciancarini, Wiklicky, Wiklicky, Herbert Wiklicky Coordination Models and Languages English 19.02.2009 Paperback / Softback Fr. 70.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
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
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
Luí Caires, Luis Caires, Luís Caires, T Vasconcelos, T Vasconcelos, Vasco T. Vasconcelos - CONCUR 2007 - Concurrency Theory
Luí Caires, Luis Caires, Luís Caires, T Vasconcelos, T Vasconcelos, Vasco T. Vasconcelos CONCUR 2007 - Concurrency Theory English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Varol Akman, Paolo Bouquet, Richmond Thomason, Roger Young, Roger A. Young - Modeling and Using Context
Varol Akman, Paolo Bouquet, Richmond Thomason, Roger Young, Roger A. Young Modeling and Using Context English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie - Formal Methods and Software Engineering
Michael Butler, Michael G. Hinchey, Maria M. Larrondo-Petrie Formal Methods and Software Engineering English 14.04.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Andrei Voronkov - Automated Deduction - CADE-18
Andrei Voronkov Automated Deduction - CADE-18 English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Nachu Dershowitz, Nachum Dershowitz - Verification: Theory and Practice
Nachu Dershowitz, Nachum Dershowitz Verification: Theory and Practice English 18.03.2004 Paperback / Softback Fr. 135.00 6-7 weeks
Reinhar Gotzhein, Reinhard Gotzhein, REED, Reed, Rick Reed - System Analysis and Modeling: Language Profiles
Reinhar Gotzhein, Reinhard Gotzhein, REED, Reed, Rick Reed System Analysis and Modeling: Language Profiles English 15.03.2011 Paperback / Softback Fr. 70.00 6-7 weeks
Eduardo Alonso, Dimitar Kazakov, Danie Kudenko, Daniel Kudenko - Adaptive Agents and Multi-Agent Systems
Eduardo Alonso, Dimitar Kazakov, Danie Kudenko, Daniel Kudenko Adaptive Agents and Multi-Agent Systems English 22.05.2003 Paperback / Softback Fr. 70.00 6-7 weeks
B. O'Sullivan, Barr O'Sullivan, Barry O'Sullivan - Recent Advances in Constraints
B. O'Sullivan, Barr O'Sullivan, Barry O'Sullivan Recent Advances in Constraints English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Manue Mazzara, Manuel Mazzara, MEYER, Meyer, Bertrand Meyer - Present and Ulterior Software Engineering
Manue Mazzara, Manuel Mazzara, MEYER, Meyer, Bertrand Meyer Present and Ulterior Software Engineering English 01.01.2018 Paperback / Softback Fr. 135.00 6-7 weeks
Jerem Gibbons, Jeremy Gibbons, Nogueira, Nogueira, Pablo Nogueira - Mathematics of Program Construction
Jerem Gibbons, Jeremy Gibbons, Nogueira, Nogueira, Pablo Nogueira Mathematics of Program Construction English 11.05.2012 Paperback / Softback Fr. 69.00 6-7 weeks