Languages
Subject
Format
Availabity
Authors

Search result

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. 70.00 6-7 weeks
Isi Dillig, Isil Dillig, Palsberg, Palsberg, Jens Palsberg - Verification, Model Checking, and Abstract Interpretation
Isi Dillig, Isil Dillig, Palsberg, Palsberg, Jens Palsberg Verification, Model Checking, and Abstract Interpretation English 01.01.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Ross J Maloney, Ross J. Maloney - Low Level X Window Programming
Ross J Maloney, Ross J. Maloney Low Level X Window Programming English 01.01.2018 Paperback / Softback Fr. 91.00 6-7 weeks
Jens Palsberg, Zhendong Su - Static Analysis
Jens Palsberg, Zhendong Su Static Analysis English 20.07.2009 Paperback / Softback Fr. 70.00 6-7 weeks
Christiano Braga, Peter Csaba Ölveczky - Formal Aspects of Component Software
Christiano Braga, Peter Csaba Ölveczky Formal Aspects of Component Software English 30.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Jose Luiz Fiadeiro, José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue - Formal Aspects of Component Software
Jose Luiz Fiadeiro, José Luiz Fiadeiro, Zhiming Liu, Jinyun Xue Formal Aspects of Component Software English 30.07.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Jordi Cabot, Julia Rubin - Modelling Foundations and Applications
Jordi Cabot, Julia Rubin Modelling Foundations and Applications English 05.08.2014 Paperback / Softback Fr. 68.00 6-7 weeks
Joachim Fischer, Rick Reed, Markus Scheidgen, Ina Schieferdecker - SDL 2015: Model-Driven Engineering for Smart Cities
Joachim Fischer, Rick Reed, Markus Scheidgen, Ina Schieferdecker SDL 2015: Model-Driven Engineering for Smart Cities English 28.11.2015 Paperback / Softback Fr. 68.00 6-7 weeks
Ouyang Chun, Chun Ouyang, Emilio Tuosto - Web Services and Formal Methods
Ouyang Chun, Chun Ouyang, Emilio Tuosto Web Services and Formal Methods English 25.07.2014 Paperback / Softback Fr. 56.90 6-7 weeks
Márcio Cornélio, Bill Roscoe - Formal Methods: Foundations and Applications
Márcio Cornélio, Bill Roscoe Formal Methods: Foundations and Applications English 03.02.2016 Paperback / Softback Fr. 56.90 6-7 weeks
Arie Gurfinkel, Sanjit A. Seshia - Verified Software: Theories, Tools, and Experiments
Arie Gurfinkel, Sanjit A. Seshia Verified Software: Theories, Tools, and Experiments English 29.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
A. Moreira - Early Aspects: Current Challenges and Future Directions
A. Moreira Early Aspects: Current Challenges and Future Directions English 14.12.2007 Paperback / Softback Fr. 70.00 6-7 weeks
Markus Lumpe, Wim Vanderperren - Software Composition
Markus Lumpe, Wim Vanderperren Software Composition English 13.12.2007 Paperback / Softback Fr. 70.00 6-7 weeks
Martin Leucker - Runtime Verification
Martin Leucker Runtime Verification English 23.10.2008 Paperback / Softback Fr. 70.00 6-7 weeks
Rohit Gheyi, David Naumann - Formal Methods: Foundations and Applications
Rohit Gheyi, David Naumann Formal Methods: Foundations and Applications English 11.08.2012 Paperback / Softback Fr. 66.00 6-7 weeks
Olivier Barais, Benoit Combemale, David Pearce, Jurgen Vinju - Software Language Engineering
Olivier Barais, Benoit Combemale, David Pearce, Jurgen Vinju Software Language Engineering English 23.09.2014 Paperback / Softback Fr. 70.00 6-7 weeks
Alessandro Aldini, Roberto Gorrieri - Foundations of Security Analysis and Design VI
Alessandro Aldini, Roberto Gorrieri Foundations of Security Analysis and Design VI English 19.08.2011 Paperback / Softback Fr. 70.00 6-7 weeks
Bob Coecke, Luke Ong, Prakash Panangaden - Computation, Logic, Games and Quantum Foundations - The Many Facets of Samson Abramsky
Bob Coecke, Luke Ong, Prakash Panangaden Computation, Logic, Games and Quantum Foundations - The Many Facets of Samson Abramsky English 16.05.2013 Paperback / Softback Fr. 70.00 6-7 weeks
John Favaro, Maurizio Morisio - Safe and Secure Software Reuse
John Favaro, Maurizio Morisio Safe and Secure Software Reuse English 06.06.2013 Paperback / Softback Fr. 70.00 6-7 weeks
Ralph Johnson, James Noble, Eugene Wallingford, Uwe Zdun - Transactions on Pattern Languages of Programming III
Ralph Johnson, James Noble, Eugene Wallingford, Uwe Zdun Transactions on Pattern Languages of Programming III English 11.06.2013 Paperback / Softback Fr. 66.00 6-7 weeks