Viimati ilmunud raamatud

Rebeca for Actor Analysis in Action: Essays Dedicated to Marjan Sirjani on the Occasion of Her 60th Birthday

Fri, 21 Mar 2025 00:00:00 GMT

Edward A. Lee, Mohammad Reza Mousavi, Carolyn Talcott
ISBN: 9783031851339
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 21-Mar-2025
Hind: 63,52 �

Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part III

Mon, 18 Nov 2024 00:00:00 GMT

Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mari�lle Stoelinga, Matthias Volk
ISBN: 9783031757778
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 18-Nov-2024
Hind: 67,23 �

Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II

Wed, 13 Nov 2024 00:00:00 GMT

Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mari�lle Stoelinga, Matthias Volk
ISBN: 9783031757747
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 13-Nov-2024
Hind: 63,52 �

Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part I

Wed, 13 Nov 2024 00:00:00 GMT

Nils Jansen, Sebastian Junges, Benjamin Lucien Kaminski, Christoph Matheja, Thomas Noll, Tim Quatmann, Mari�lle Stoelinga, Matthias Volk
ISBN: 9783031757822
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 13-Nov-2024
Hind: 70,93 �

Guide to Software Verification with Frama-C: Core Components, Usages, and Applications 2024 ed.

Wed, 10 Jul 2024 00:00:00 GMT

Nikolai Kosmatov, Virgile Prevosto, Julien Signoles
ISBN: 9783031556074
Kirjastus: Springer International Publishing AG
Formaat: K�va k�ide, Ilmumisaeg: 10-Jul-2024
Hind: 62,59 �

Verification and Evaluation of Computer and Communication Systems: 17th International Conference, VECoS 2024, Djerba, Tunisia, October 1618, 2024, Proceedings

Wed, 17 Apr 2024 00:00:00 GMT

Belgacem Ben Hedia, Mohamed Ghazel, Bruno Monsuez
ISBN: 9783031853555
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 17-Apr-2024
Hind: 56,11 �

Model Checking Software: 30th International Symposium, SPIN 2024, Luxembourg City, Luxembourg, April 89, 2024, Proceedings 2024 ed.

Fri, 13 Oct 2023 00:00:00 GMT

Thomas Neele, Anton Wijs
ISBN: 9783031661488
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 13-Oct-2023
Hind: 48,70 �

Challenges of Software Verification 2023 ed.

Tue, 25 Jul 2023 00:00:00 GMT

Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara, Martina Olliaro
ISBN: 9789811996009
Kirjastus: Springer Verlag, Singapore
Formaat: K�va k�ide, Ilmumisaeg: 25-Jul-2023
Hind: 141,35 �

Concise Guide to Software Verification: From Model Checking to Annotation Checking 2023 ed.

Tue, 25 Jul 2023 00:00:00 GMT

Marieke Huisman, Anton Wijs
ISBN: 9783031301667
Kirjastus: Springer International Publishing AG
Formaat: K�va k�ide, Ilmumisaeg: 25-Jul-2023
Hind: 76,49 �

Verifiable Autonomous Systems: Using Rational Agents to Provide Assurance about Decisions Made by Machines

Thu, 08 Jun 2023 00:00:00 GMT

Louise A. Dennis, Michael Fisher
ISBN: 9781108484992
Kirjastus: Cambridge University Press
Formaat: K�va k�ide, Ilmumisaeg: 08-Jun-2023
Hind: 97,29 �

Proofs, Arguments, and Zero-Knowledge

Wed, 07 Dec 2022 00:00:00 GMT

Justin Thaler
ISBN: 9781638281245
Kirjastus: now publishers Inc
Formaat: Pehme k�ide, Ilmumisaeg: 07-Dec-2022
Hind: 117,55 �

Runtime Verification: 23rd International Conference, RV 2023, Thessaloniki, Greece, October 36, 2023, Proceedings 1st ed. 2023

Sun, 02 Oct 2022 00:00:00 GMT

Panagiotis Katsaros, Laura Nenzi
ISBN: 9783031442667
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 02-Oct-2022
Hind: 67,23 �

Code Clone Analysis: Research, Tools, and Practices 2021 ed.

Fri, 05 Aug 2022 00:00:00 GMT

Katsuro Inoue, Chanchal K. Roy
ISBN: 9789811619298
Kirjastus: Springer Verlag, Singapore
Formaat: Pehme k�ide, Ilmumisaeg: 05-Aug-2022
Hind: 150,61 �

Runtime Verification: A Hands-On Approach in Java 1st ed. 2022

Wed, 13 Jul 2022 00:00:00 GMT

Christian Colombo, Gordon J. Pace
ISBN: 9783031092664
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 13-Jul-2022
Hind: 48,70 �

Model Checking Software: 29th International Symposium, SPIN 2023, Paris, France, April 2627, 2023, Proceedings 1st ed. 2023

Mon, 02 May 2022 00:00:00 GMT

Georgiana Caltais, Christian Schilling
ISBN: 9783031321566
Kirjastus: Springer International Publishing AG
Formaat: Pehme k�ide, Ilmumisaeg: 02-May-2022
Hind: 53,33 �