Joost-Pieter Katoen

Formal Methods for Real-Time and Probabilistic Systems

5th International AMAST Workshop, ARTS99 Bamberg, Germany, May 2628, 1999 Proceedings

We couldn't estimate the reading time for this book.

Author

Joost-Pieter Katoen

Publication

1999 - Springer-Verlag Berlin Heidelberg, Berlin, Germany

Language

English

Word Count

0 words, Guess

Page Count

0 pages

Physical Format

Electronic resource

Identifiers

Internet Archiveformalmethodsfor00jons
ISBN-103540487786
ISBN-139783540487784
OCLC Control Number771195822
Better World Books9783540487784

and 1 more

Open LibraryOL27039465M

Classifications

LCCQA75.5-76.95

Subjects

Topics

Logic design Computer science Software engineering Logics and Meanings of Programs Computer Communication Networks Special Purpose and Application-Based Systems Programming Languages, Compilers, Interpreters

Series Statement

Lecture Notes in Computer Science -- 1601,

Similar Books

Reliable Software Technologies - Ada-Europe 2011: 16th Ada-Europe International Conference on Reliable Software Technologies, Edinburgh, UK, June 20-24, 2011. Proceedings

edited by Alexander Romanovsky, Tullio Vardanega

Logical Foundations of Computer Science: International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings

edited by Sergei Artemov, Anil Nerode

Formal Aspects of Component Software: 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers

edited by Farhad Arbab, Peter Csaba Ölveczky

Reader Reviews

No reviews yet for this book.

Be the first to share your thoughts!