Foundations of Probabilistic Programming
Gilles Barthe, Joost-Pieter Katoen, Alexandra Silva
Inbunden, 2020
1 119 kr
Del 10500 i serien Lecture Notes in Computer Science
ModelEd, TestEd, TrustEd
Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday
Häftad, Engelska, 2017
749 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
This Festschrift volume has been published in honor of Ed Brinksma, on the occasion of his 60th birthday.The contributions in this Festschrift are written by a number of Ed's former Ph.D. students and collaborators. The papers are a reflection on his research contributions and interests and all fall into the area of formal methods, or in Ed's terminology applied mathematics in computer science. The papers address modeling languages and semantics, model-based testing, verification and performance analysis, probabilistic computation, system dynamics, and applications of formal methods.
Produktinformation
- Utgivningsdatum2017-09-29
- Mått155 x 235 x 26 mm
- Vikt606 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor391
- Upplaga17001
- FörlagSpringer International Publishing AG
- ISBN9783319682693
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Del 11951
Dependable Software Engineering. Theories, Tools, and Applications
Nan Guan, Joost-Pieter Katoen, Jun Sun
Häftad, 2019
749 kr
Del 14000
Validation of Stochastic Systems
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
Häftad, 2004
729 kr
Model-Based Testing of Reactive Systems
Manfred Broy, Bengt Jonsson, Joost-Pieter Katoen, Martin Leucker, Alexander Pretschner
Häftad, 2005
749 kr
Lectures on Formal Methods and Performance Analysis
Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen
Häftad, 2001
749 kr
Tools and Algorithms for the Construction and Analysis of Systems
Joost-Pieter Katoen, Perdita Stevens
Häftad, 2002
749 kr
Hoppa över listan
Mer från samma serie
Agent Mediated Electronic Commerce II
Alexandros Moukas, Carles Sierra, Fredrik Ygge
Häftad, 2000
749 kr
Del 15427
Del 16375
Del 16376
Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries
Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki
Häftad, 2026
1 219 kr
Hoppa över listan
Du kanske också är intresserad av
Graph Transformations
Hartmut Ehrig, Arend Rensink, Grzegorz Rozenberg, Andy Schürr
Häftad, 2010
729 kr
Model Driven Architecture - Foundations and Applications
Richard F. Paige, Alan Hartman, Arend Rensink
Häftad, 2009
749 kr
Validation of Stochastic Systems
Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle
Häftad, 2004
729 kr
Del 81
Formal Methods for Open Object-Based Distributed Systems V
Bart Jacobs, Arend Rensink
Häftad, 2013
1 489 kr
Formal Methods for Open Object-Based Distributed Systems V
Bart Jacobs, Arend Rensink, Bart Jacobs, Arend Rensink
Inbunden, 2002
1 489 kr
Del 10888
- Nyhet