Lingue
Categoria
Format
disponibilità
Autori

Risultato ricerca

Ofe Strichman, Ofer Strichman, Tzoref-Brill, Tzoref-Brill, Rachel Tzoref-Brill - Hardware and Software: Verification and Testing
Ofe Strichman, Ofer Strichman, Tzoref-Brill, Tzoref-Brill, Rachel Tzoref-Brill Hardware and Software: Verification and Testing Inglese 31.01.2018 Tascabile Fr. 70.00 6-7 settimane
Jaime Caro, Jaime Caro et al, Shin-ya Nishizaki, Masayuk Numao, Masayuki Numao, Merlin Teodosia Suarez - Theory and Practice of Computation
Jaime Caro, Jaime Caro et al, Shin-ya Nishizaki, Masayuk Numao, Masayuki Numao, Merlin Teodosia Suarez Theory and Practice of Computation Inglese 11.04.2013 Tascabile Fr. 130.00 6-7 settimane
Maurice H. ter Beek, Mauric H ter Beek, Maurice H ter Beek, Niels Lohman, Lohmann, Lohmann... - Web Services and Formal Methods
Maurice H. ter Beek, Mauric H ter Beek, Maurice H ter Beek, Niels Lohman, Lohmann, Lohmann... Web Services and Formal Methods Inglese 11.04.2013 Tascabile Fr. 66.00 6-7 settimane
Hage, Hage, Jurriaan Hage, Manue Serrano, Manuel Serrano - Trends in Functional Programming
Hage, Hage, Jurriaan Hage, Manue Serrano, Manuel Serrano Trends in Functional Programming Inglese 01.01.2016 Tascabile Fr. 59.50 6-7 settimane
Renate A Schmidt, Christoph Benzmüller, Marijn Heule, Marijn J. H. Heule, Marijn J.H. Heule, Marijn J H Heule... - Automated Reasoning
Renate A Schmidt, Christoph Benzmüller, Marijn Heule, Marijn J. H. Heule, Marijn J.H. Heule, Marijn J H Heule... Automated Reasoning Inglese 05.09.2024 Tascabile Fr. 56.90 6-7 settimane
Maji Zamani, Majid Zamani, ZUFFEREY, Zufferey, Damien Zufferey - Numerical Software Verification
Maji Zamani, Majid Zamani, ZUFFEREY, Zufferey, Damien Zufferey Numerical Software Verification Inglese 31.10.2019 Tascabile Fr. 70.00 6-7 settimane
John Fitzgerald, Stefania Gnesi, Stefania Gnesi et al, Constanc Heitmeyer, Constance Heitmeyer, Anna Philippou - FM 2016: Formal Methods
John Fitzgerald, Stefania Gnesi, Stefania Gnesi et al, Constanc Heitmeyer, Constance Heitmeyer, Anna Philippou FM 2016: Formal Methods Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Christoph Benzmüller, Xavier Parent, Xavier Parent et al, Francesc Ricca, Francesco Ricca, Dumitru Roman - Rules and Reasoning
Christoph Benzmüller, Xavier Parent, Xavier Parent et al, Francesc Ricca, Francesco Ricca, Dumitru Roman Rules and Reasoning Inglese 31.10.2018 Tascabile Fr. 70.00 6-7 settimane
Evgeny Kagan, Alexander Rybalov, Ronald Yager - Multi-valued Logic for Decision-Making Under Uncertainty
Evgeny Kagan, Alexander Rybalov, Ronald Yager Multi-valued Logic for Decision-Making Under Uncertainty Inglese 16.12.2024 Copertina rigida Fr. 239.00 6-7 settimane
Chutiporn Anutariya, Marcello M. Bonsangue, M Bonsangue - Theoretical Aspects of Computing - ICTAC 2024
Chutiporn Anutariya, Marcello M. Bonsangue, M Bonsangue Theoretical Aspects of Computing - ICTAC 2024 Inglese 22.01.2025 Tascabile Fr. 92.00 6-7 settimane
Alexandru Baltag, Jerem Seligman, Jeremy Seligman, Tomoyuki Yamada - Logic, Rationality, and Interaction
Alexandru Baltag, Jerem Seligman, Jeremy Seligman, Tomoyuki Yamada Logic, Rationality, and Interaction Inglese 30.09.2017 Tascabile Fr. 70.00 6-7 settimane
Bader, Bader, Markus Bader, Johan Blieberger, Johann Blieberger - Reliable Software Technologies - Ada-Europe 2017
Bader, Bader, Markus Bader, Johan Blieberger, Johann Blieberger Reliable Software Technologies - Ada-Europe 2017 Inglese 31.07.2017 Tascabile Fr. 77.00 6-7 settimane
Quentin Charatan, Aaron Kans - Maths For Computing
Quentin Charatan, Aaron Kans Maths For Computing Inglese 31.10.2024 Tascabile Fr. 77.00 6-7 settimane
Manfre Broy, Manfred Broy, Ketil Stolen, Ketil Stølen - Specification and Development of Interactive Systems
Manfre Broy, Manfred Broy, Ketil Stolen, Ketil Stølen Specification and Development of Interactive Systems Inglese 13.03.2013 Tascabile Fr. 110.00 6-7 settimane
Donal Sannella, Donald Sannella, Andrzej Tarlecki - Foundations of Algebraic Specification and Formal Software Development
Donal Sannella, Donald Sannella, Andrzej Tarlecki Foundations of Algebraic Specification and Formal Software Development Inglese 01.01.2012 Copertina rigida Fr. 147.00 6-7 settimane
Inge van de Weerd, Camill Salinesi, Camille Salinesi, van de Weerd, van de Weerd, Inge van de Weerd... - Requirements Engineering: Foundation for Software Quality
Inge van de Weerd, Camill Salinesi, Camille Salinesi, van de Weerd, van de Weerd, Inge van de Weerd... Requirements Engineering: Foundation for Software Quality Inglese 04.03.2014 Tascabile Fr. 70.00 6-7 settimane
A Muñoz, A Muñoz, Maurici Ayala-Rincón, Mauricio Ayala-Rincón, César A. Muñoz - Interactive Theorem Proving
A Muñoz, A Muñoz, Maurici Ayala-Rincón, Mauricio Ayala-Rincón, César A. Muñoz Interactive Theorem Proving Inglese 30.09.2017 Tascabile Fr. 70.00 6-7 settimane
Martin Davis, Ansga Fehnker, Ansgar Fehnker, Annabelle McIver, Annabelle McIver et al, Andrei Voronkov - Logic for Programming, Artificial Intelligence, and Reasoning
Martin Davis, Ansga Fehnker, Ansgar Fehnker, Annabelle McIver, Annabelle McIver et al, Andrei Voronkov Logic for Programming, Artificial Intelligence, and Reasoning Inglese 01.01.2015 Tascabile Fr. 70.00 6-7 settimane
Lecomte, Lecomte, Thierry Lecomte, Leil Ribeiro, Leila Ribeiro - Formal Methods: Foundations and Applications
Lecomte, Lecomte, Thierry Lecomte, Leil Ribeiro, Leila Ribeiro Formal Methods: Foundations and Applications Inglese 01.01.2016 Tascabile Fr. 70.00 6-7 settimane
Ionut Tutu, Ionuț Țuțu - Recent Trends in Algebraic Development Techniques
Ionut Tutu, Ionuț Țuțu Recent Trends in Algebraic Development Techniques Inglese 07.05.2025 Tascabile Fr. 147.00 6-7 settimane