Select
Explore
keyword: Verification – 16 free books.
Svein Linge and Hans Petter Langtangen
Tomas Vojnar and Lijun Zhang, editors
Foundations of Software Science and Computation Structures
Christel Baier and Ugo Dal Lago
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer and Marieke Huisman
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer and Marieke Huisman
Hana Chockler and Georg Weissenbacher, editors
Alessandra Russo and Andy Schürr, editors
Programming for Computations - Python: A Gentle Introduction to Numerical Simulations with Python
Svein Linge and Hans Petter Langtangen
Svein Linge and Hans Petter Langtangen
Finite Difference Computing with PDEs: A Modern Software Approach
Hans Petter Langtangen and Svein Linge