Languages
Subject
Format
Availabity
Authors

Search result

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
Chris George, Huaikou Miao - Formal Methods and Software Engineering
Chris George, Huaikou Miao Formal Methods and Software Engineering English 19.02.2009 Paperback / Softback Fr. 135.00 6-7 weeks
Werner Damm, Ernst-Rüdiger Olderog - Formal Techniques in Real-Time and Fault-Tolerant Systems
Werner Damm, Ernst-Rüdiger Olderog Formal Techniques in Real-Time and Fault-Tolerant Systems English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Manindra Agrawal, Anil Seth - FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science
Manindra Agrawal, Anil Seth FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Riccard Focardi, Riccardo Focardi, Gorrieri, Gorrieri, Robero Gorrieri, Roberto Gorrieri - Foundations of Security Analysis and Design
Riccard Focardi, Riccardo Focardi, Gorrieri, Gorrieri, Robero Gorrieri, Roberto Gorrieri Foundations of Security Analysis and Design English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
M. Hannebauer, Markus Hannebauer - Autonomous Dynamic Reconfiguration in Multi-Agent Systems
M. Hannebauer, Markus Hannebauer Autonomous Dynamic Reconfiguration in Multi-Agent Systems English 08.03.2003 Paperback / Softback Fr. 70.00 6-7 weeks
Uw Hansmann, Uwe Hansmann, Martin Nicklous, Martin S Nicklous, Martin S. Nicklous, Thomas Schäck... - Smart Card Application Development Using Java, w. Smart Card
Uw Hansmann, Uwe Hansmann, Martin Nicklous, Martin S Nicklous, Martin S. Nicklous, Thomas Schäck... Smart Card Application Development Using Java, w. Smart Card English 20.03.2001 Paperback / Softback Fr. 135.00 6-7 weeks
Egon Börger, Angel Gargantini, Angelo Gargantini, Elvinia Riccobene - Abstract State Machines 2003: Advances in Theory and Practice
Egon Börger, Angel Gargantini, Angelo Gargantini, Elvinia Riccobene Abstract State Machines 2003: Advances in Theory and Practice English 26.06.2009 Paperback / Softback Fr. 70.00 6-7 weeks
M. Okada, Mitsuhiro Okada, B. Pierce, Benjami Pierce, Benjamin Pierce, A. Scedrov... - Software Security -- Theories and Systems
M. Okada, Mitsuhiro Okada, B. Pierce, Benjami Pierce, Benjamin Pierce, A. Scedrov... Software Security -- Theories and Systems English 26.06.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Peter Müller - Modular Specification and Verification of Object-Oriented Programs
Peter Müller Modular Specification and Verification of Object-Oriented Programs English 27.02.2002 Paperback / Softback Fr. 70.00 6-7 weeks
Görel Hedin - Compiler Construction
Görel Hedin Compiler Construction English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Mauro Pezzè - Fundamental Approaches to Software Engineering
Mauro Pezzè Fundamental Approaches to Software Engineering English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Am L Murphy, Amy L Murphy, Amy L. Murphy, Vitek, Vitek, Jan Vitek - Coordination Models and Languages
Am L Murphy, Amy L Murphy, Amy L. Murphy, Vitek, Vitek, Jan Vitek Coordination Models and Languages English 19.02.2009 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 29.01.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Jim Davies, Jeremy Gibbons - Integrated Formal Methods
Jim Davies, Jeremy Gibbons Integrated Formal Methods English 29.01.2013 Paperback / Softback Fr. 135.00 6-7 weeks
J. Mermet, Jea Mermet, Jean Mermet - Electronic Chips & Systems Design Languages
J. Mermet, Jea Mermet, Jean Mermet Electronic Chips & Systems Design Languages English 01.07.2009 Hardback Fr. 260.00 6-7 weeks
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 English 14.04.2009 Hardback Fr. 226.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
Karel Driesen - Efficient Polymorphic Calls
Karel Driesen Efficient Polymorphic Calls English 11.02.2011 Hardback Fr. 199.00 6-7 weeks
YiXiang Chen, Guo-Qiang Zhang, Guo-Qiang Zhang, Klaus Keimel, Ying Ming Liu, Ying Ming Liu et al... - Domains and Processes
YiXiang Chen, Guo-Qiang Zhang, Guo-Qiang Zhang, Klaus Keimel, Ying Ming Liu, Ying Ming Liu et al... Domains and Processes English 14.04.2009 Hardback Fr. 169.00 6-7 weeks