Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occasion of His 60th Birthday, Part II
by Nils Jansen
$95.99Paperback
In stock, ships in 1-2 business days
Free standard shipping on orders over $40. ISBN 9783031757778
1
Details
- Format
- Paperback
- ISBN-13
- 9783031757778
- Publisher
- Springer
- Published
- November 18, 2024
- Pages
- 503
- Weight
- 25.4 oz
- Subject
- Computers
More by Nils Jansen
All books
A Journey from Process Algebra Via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday
Nils Jansen
$67.99
The Development and Making of Legal Doctrine: Volume 6
Nils Jansen
$62.99
Quantitative Evaluation of Systems: 20th International Conference, Qest 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
Quantitative Evaluation of Systems: 20th International Conference, Qest 2023, Antwerp, Belgium, September 20-22, 2023, Proceedings
Nils Jansen
$101.99
The Structure of Tort Law: History, Theory, and Doctrine of Non-Contractual Claims for Compensation
The Structure of Tort Law: History, Theory, and Doctrine of Non-Contractual Claims for Compensation
Nils Jansen
$176.99
Eigentum bei Jean-Jacque-Rousseau: Vom zweiten Diskurs zum Gesellschaftsvertrag
Eigentum bei Jean-Jacque-Rousseau: Vom zweiten Diskurs zum Gesellschaftsvertrag
Nils Jansen
$25.99
Popular in Computers
Browse Computers
The Agi Chronicles: The Inside Story of the Race to Create an Artificial Superintelligence
Kevin Roose
$25.99
AI Engineering: Building Applications with Foundation Models
Chip Huyen
$65.99
If Anyone Builds It, Everyone Dies: Why Superhuman AI Would Kill Us All
Eliezer Yudkowsky
$23.99
Designing Data-Intensive Applications: The Big Ideas Behind Reliable, Scalable, and Maintainable Systems
Martin Kleppmann
$58.99
Build a Large Language Model (from Scratch)
Sebastian Raschka
$65.99
Superintelligence: Paths, Dangers, Strategies
Nick Bostrom
$16.99
Python Crash Course, 3rd Edition: A Hands-On, Project-Based Introduction to Programming
Eric Matthes
$38.99
Build a Reasoning Model (from Scratch)
Sebastian Raschka
$65.99
The Book of Why: The New Science of Cause and Effect
Judea Pearl
$18.99
The AI Con: How to Fight Big Tech's Hype and Create the Future We Want
Emily M. Bender
$25.99
The Linux Command Line, 3rd Edition: A Complete Introduction
William Shotts
$38.99
The God Test: Artificial Intelligence and Our Coming Cosmic Reckoning
Robert Wright
$23.99