Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Márcio Cornélio, Bill Roscoe - Formal Methods: Foundations and Applications
Márcio Cornélio, Bill Roscoe Formal Methods: Foundations and Applications Inglese 03.02.2016 Tascabile Fr. 55.90 6-7 settimane
Arie Gurfinkel, Sanjit A. Seshia - Verified Software: Theories, Tools, and Experiments
Arie Gurfinkel, Sanjit A. Seshia Verified Software: Theories, Tools, and Experiments Inglese 29.01.2016 Tascabile Fr. 69.00 6-7 settimane
Markus Lumpe, Wim Vanderperren - Software Composition
Markus Lumpe, Wim Vanderperren Software Composition Inglese 13.12.2007 Tascabile Fr. 69.00 6-7 settimane
Martin Leucker - Runtime Verification
Martin Leucker Runtime Verification Inglese 23.10.2008 Tascabile Fr. 69.00 6-7 settimane
Rohit Gheyi, David Naumann - Formal Methods: Foundations and Applications
Rohit Gheyi, David Naumann Formal Methods: Foundations and Applications Inglese 11.08.2012 Tascabile Fr. 65.00 6-7 settimane
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 Inglese 16.05.2013 Tascabile Fr. 69.00 6-7 settimane
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 Inglese 11.06.2013 Tascabile Fr. 65.00 6-7 settimane
Clark Barrett, Misty Davies, Temesghen Kahsai - NASA Formal Methods
Clark Barrett, Misty Davies, Temesghen Kahsai NASA Formal Methods Inglese 09.04.2017 Tascabile Fr. 69.00 6-7 settimane
Frank Mueller, Xipeng Shen, James Tuck - Languages and Compilers for Parallel Computing
Frank Mueller, Xipeng Shen, James Tuck Languages and Compilers for Parallel Computing Inglese 20.02.2016 Tascabile Fr. 69.00 6-7 settimane
Simon Devitt, Ivan Lanese - Reversible Computation
Simon Devitt, Ivan Lanese Reversible Computation Inglese 30.06.2016 Tascabile Fr. 69.00 6-7 settimane
Zhenhua Duan, Shaoying Liu - Structured Object-Oriented Formal Language and Method
Zhenhua Duan, Shaoying Liu Structured Object-Oriented Formal Language and Method Inglese 13.03.2016 Tascabile Fr. 69.00 6-7 settimane
Alberto Lluch Lafuente, José Proença - Coordination Models and Languages
Alberto Lluch Lafuente, José Proença Coordination Models and Languages Inglese 27.06.2016 Tascabile Fr. 69.00 6-7 settimane
Jonathan P. Bowen, Huibiao Zhu - Unifying Theories of Programming
Jonathan P. Bowen, Huibiao Zhu Unifying Theories of Programming Inglese 11.01.2017 Tascabile Fr. 69.00 6-7 settimane
John Criswell, Chen Ding, Peng Wu - Languages and Compilers for Parallel Computing
John Criswell, Chen Ding, Peng Wu Languages and Compilers for Parallel Computing Inglese 20.01.2017 Tascabile Fr. 69.00 6-7 settimane
Yuliya Lierler, Walid Taha - Practical Aspects of Declarative Languages
Yuliya Lierler, Walid Taha Practical Aspects of Declarative Languages Inglese 17.12.2016 Tascabile Fr. 69.00 6-7 settimane
Matteo Baldoni, Amit K. Chopra, Katsutoshi Hirayama, Tran Cao Son, Paolo Torroni - PRIMA 2016: Principles and Practice of Multi-Agent Systems
Matteo Baldoni, Amit K. Chopra, Katsutoshi Hirayama, Tran Cao Son, Paolo Torroni PRIMA 2016: Principles and Practice of Multi-Agent Systems Inglese 10.08.2016 Tascabile Fr. 69.00 6-7 settimane
Dorel Lucanu - Rewriting Logic and Its Applications
Dorel Lucanu Rewriting Logic and Its Applications Inglese 18.08.2016 Tascabile Fr. 69.00 6-7 settimane
Andy King, Oleg Kiselyov - Functional and Logic Programming
Andy King, Oleg Kiselyov Functional and Logic Programming Inglese 23.02.2016 Tascabile Fr. 67.00 6-7 settimane
Christiano Braga, Narciso Martí-Oliet - Formal Methods: Foundations and Applications
Christiano Braga, Narciso Martí-Oliet Formal Methods: Foundations and Applications Inglese 27.01.2015 Tascabile Fr. 55.90 6-7 settimane
Kerstin Lemke-Rust, Michael Tunstall - Smart Card Research and Advanced Applications
Kerstin Lemke-Rust, Michael Tunstall Smart Card Research and Advanced Applications Inglese 07.03.2017 Tascabile Fr. 69.00 6-7 settimane