Languages
Subject
Format
Availabity
Authors

Search result

Hage, Hage, Jurriaan Hage, Manue Serrano, Manuel Serrano - Trends in Functional Programming
Hage, Hage, Jurriaan Hage, Manue Serrano, Manuel Serrano Trends in Functional Programming English 01.01.2016 Paperback / Softback Fr. 59.50 6-7 weeks
Dirk Draheim - Generalized Jeffrey Conditionalization
Dirk Draheim Generalized Jeffrey Conditionalization English 31.12.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Maji Zamani, Majid Zamani, ZUFFEREY, Zufferey, Damien Zufferey - Numerical Software Verification
Maji Zamani, Majid Zamani, ZUFFEREY, Zufferey, Damien Zufferey Numerical Software Verification English 31.10.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Robert Merca¿, Rober Mercas, Robert Mercas, Robert Mercaş, REIDENBACH, Reidenbach... - Combinatorics on Words
Robert Merca¿, Rober Mercas, Robert Mercas, Robert Mercaş, REIDENBACH, Reidenbach... Combinatorics on Words English 31.10.2019 Paperback / Softback Fr. 70.00 6-7 weeks
Guillaume Brat, Neh Rungta, Neha Rungta, Arnaud Venet - NASA Formal Methods
Guillaume Brat, Neh Rungta, Neha Rungta, Arnaud Venet NASA Formal Methods English 05.04.2013 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 31.10.2018 Paperback / Softback Fr. 70.00 6-7 weeks
Olivier Corby, Madalina Croitoru, John Howse, Sebastia Rudolph, Sebastian Rudolph, Nic Wilson... - Graph Structures for Knowledge Representation and Reasoning
Olivier Corby, Madalina Croitoru, John Howse, Sebastia Rudolph, Sebastian Rudolph, Nic Wilson... Graph Structures for Knowledge Representation and Reasoning English 22.03.2012 Paperback / Softback Fr. 70.00 6-7 weeks
Alexandru Baltag, Jerem Seligman, Jeremy Seligman, Tomoyuki Yamada - Logic, Rationality, and Interaction
Alexandru Baltag, Jerem Seligman, Jeremy Seligman, Tomoyuki Yamada Logic, Rationality, and Interaction English 30.09.2017 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 31.07.2017 Paperback / Softback Fr. 77.00 6-7 weeks
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 English 13.03.2013 Paperback / Softback Fr. 110.00 6-7 weeks
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 English 01.01.2012 Hardback Fr. 147.00 6-7 weeks
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 English 04.03.2014 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 30.09.2017 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
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 English 01.01.2016 Paperback / Softback Fr. 70.00 6-7 weeks
Moren Falaschi, Moreno Falaschi - Logic-Based Program Synthesis and Transformation
Moren Falaschi, Moreno Falaschi Logic-Based Program Synthesis and Transformation English 01.01.2015 Paperback / Softback Fr. 70.00 6-7 weeks
Axe Legay, Axel Legay, Margaria, Margaria, Tiziana Margaria - Tools and Algorithms for the Construction and Analysis of Systems
Axe Legay, Axel Legay, Margaria, Margaria, Tiziana Margaria Tools and Algorithms for the Construction and Analysis of Systems English 30.04.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Alessandro Antonucci, Laurenc Cholvy, Laurence Cholvy, Odile Papini - Symbolic and Quantitative Approaches to Reasoning with Uncertainty
Alessandro Antonucci, Laurenc Cholvy, Laurence Cholvy, Odile Papini Symbolic and Quantitative Approaches to Reasoning with Uncertainty English 31.07.2017 Paperback / Softback Fr. 70.00 6-7 weeks
Sergiy Bogomolov, Matthie Martel, Matthieu Martel, Pavithra Prabhakar - Numerical Software Verification
Sergiy Bogomolov, Matthie Martel, Matthieu Martel, Pavithra Prabhakar Numerical Software Verification English 31.03.2017 Paperback / Softback Fr. 70.00 6-7 weeks