Langues
Catégorie
Format
disponibilité
Auteurs

Résultat de la recherche

Lubos Brim, Pet Jancar, Petr Jancar, Mojmir Kretinsky, Mojmir Kretinsky et al, Antonin Kucera - CONCUR 2002 - Concurrency Theory
Lubos Brim, Pet Jancar, Petr Jancar, Mojmir Kretinsky, Mojmir Kretinsky et al, Antonin Kucera CONCUR 2002 - Concurrency Theory Anglais 19.02.2009 Livre de poche Fr. 135.00 6-7 semaines
Holge Hermanns, Holger Hermanns, SEGALA, Segala, Roberto Segala - Process Algebra and Probabilistic Methods: Performance Modeling and Verification
Holge Hermanns, Holger Hermanns, SEGALA, Segala, Roberto Segala Process Algebra and Probabilistic Methods: Performance Modeling and Verification Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
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 Anglais 14.04.2009 Livre de poche Fr. 70.00 6-7 semaines
Hilar Johnson, Hilary Johnson, Philippe Palanque, Marco Winckler - Task Models and Diagrams for User Interface Design
Hilar Johnson, Hilary Johnson, Philippe Palanque, Marco Winckler Task Models and Diagrams for User Interface Design Anglais 14.04.2009 Livre de poche Fr. 70.00 6-7 semaines
Roland Backhouse, Ro Crole, Roy Crole, Jeremy Gibbons - Algebraic and Coalgebraic Methods in the Mathematics of Program Construction
Roland Backhouse, Ro Crole, Roy Crole, Jeremy Gibbons Algebraic and Coalgebraic Methods in the Mathematics of Program Construction Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Mark D. Aagaard, Mar D Aagaard, Mark D Aagaard, John W. O'Leary, W O'Leary, W O'Leary - Formal Methods in Computer-Aided Design
Mark D. Aagaard, Mar D Aagaard, Mark D Aagaard, John W. O'Leary, W O'Leary, W O'Leary Formal Methods in Computer-Aided Design Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Werner Kuich, Grzegorz Rozenberg, Arto Salomaa - Developments in Language Theory
Werner Kuich, Grzegorz Rozenberg, Arto Salomaa Developments in Language Theory Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay, Lenore D. Zuck - Verification, Model Checking, and Abstract Interpretation
Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay, Lenore D. Zuck Verification, Model Checking, and Abstract Interpretation Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Tiziana Margaria, Tom Melham - Correct Hardware Design and Verification Methods
Tiziana Margaria, Tom Melham Correct Hardware Design and Verification Methods Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
H. Hussmann, Heinrich Hußmann - Fundamental Approaches to Software Engineering
H. Hussmann, Heinrich Hußmann Fundamental Approaches to Software Engineering Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Andre D Gordon, Andrew D Gordon, Andrew D. Gordon - Foundations of Software Science and Computational Structures
Andre D Gordon, Andrew D Gordon, Andrew D. Gordon Foundations of Software Science and Computational Structures Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Thomas Böhme, Herwig Unger - Innovative Internet Computing Systems
Thomas Böhme, Herwig Unger Innovative Internet Computing Systems Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Gilles Barthe, P. Dybjer, Peter Dybjer, L. Pinto, Luis Pinto, Joao Saraiva... - Applied Semantics
Gilles Barthe, P. Dybjer, Peter Dybjer, L. Pinto, Luis Pinto, Joao Saraiva... Applied Semantics Anglais 07.10.2002 Livre de poche Fr. 70.00 6-7 semaines
Tiziana Margaria, Wang Yi - Tools and Algorithms for the Construction and Analysis of Systems
Tiziana Margaria, Wang Yi Tools and Algorithms for the Construction and Analysis of Systems Anglais 19.02.2009 Livre de poche Fr. 135.00 6-7 semaines
Gul A. Agha, Fiorell De Cindio, Fiorella De Cindio, Grzegorz Rozenberg - Concurrent Object-Oriented Programming and Petri Nets
Gul A. Agha, Fiorell De Cindio, Fiorella De Cindio, Grzegorz Rozenberg Concurrent Object-Oriented Programming and Petri Nets Anglais 22.05.2001 Livre de poche Fr. 135.00 6-7 semaines
Alberto Pettorossi - Logic Based Program Synthesis and Transformation
Alberto Pettorossi Logic Based Program Synthesis and Transformation Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
Michael Butler, Luigia Petre, Kaisa Sere - Integrated Formal Methods
Michael Butler, Luigia Petre, Kaisa Sere Integrated Formal Methods Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines
E Brinksma, Ed Brinksma, G Larsen, G Larsen, Kim G. Larsen - Computer Aided Verification
E Brinksma, Ed Brinksma, G Larsen, G Larsen, Kim G. Larsen Computer Aided Verification Anglais 19.02.2009 Livre de poche Fr. 135.00 6-7 semaines
Pierpaolo Degano - Programming Languages and Systems
Pierpaolo Degano Programming Languages and Systems Anglais 19.02.2009 Livre de poche Fr. 73.00 6-7 semaines
Birger Andersson, Maria Bergholtz, P. Johannesson, Paul Johannesson - Natural Language Processing and Information Systems
Birger Andersson, Maria Bergholtz, P. Johannesson, Paul Johannesson Natural Language Processing and Information Systems Anglais 19.02.2009 Livre de poche Fr. 70.00 6-7 semaines