Catalogo · 9783540487784
Formal Methods for Real-Time and Probabilistic Systems
ISBN 9783540487784
Descrizione non disponibile per questo libro.
Communitas attorno al libro
Porta una citazione, apri una discussione o fai una domanda su questo libro in Communitas.
Accedi per partecipareLetture affini
Validation of stochastic systems
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
Model-Based Testing of Reactive Systems
Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
Dostoevsky and Kant
Evgenia Cherkasova
Letters from a Stoic
Seneca the Younger
The Correspondence
J. D. Daniels
The picnic gourmet
Joan Hemingway
Filosofia dell'arredamento
Mario Praz
CHINA Portrait of a People
Tom Carter
Biofabrication
Ritu Raman
Bible
Bible
Laws, etc
Great Britain.
Oliver Twist
Charles Dickens
Altri libri di Joost-Pieter Katoen
Foundations of Probabilistic Programming
Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva
Dependable Software Engineering. Theories, Tools, and Applications
Nan Guan, Joost-Pieter Katoen, Jun Sun
CONCUR 2011 – Concurrency Theory
Joost-Pieter Katoen
Tools and Algorithms for the Construction and Analysis of Systems
Joost-Pieter Katoen, Perdita Stevens
ModelEd, TestEd, TrustEd
Joost-Pieter Katoen, Rom Langerak, Arend Rensink
Lectures on Formal Methods and Performance Analysis
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen
Formal Methods
Marsha Chechik, Joost-Pieter Katoen, Martin Leucker
Verba volant · scripta manent