MPG.eBooks - Search Results - "Logics And Meanings Of Programs"

Search alternatives:
meanings » meaning
programs » program

Cover Image

1

Process Algebra and Probabilistic Methods: Performance Modeling and Verification : Second Joint International Workshop PAPM-PROBMIV 2002 Copenhagen, Denmark, July 25–26, 2002 Proce...

by Hermanns, Holger
Published 2002

Springer-Verlag Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”

Cover Image

2

Lectures on Formal Methods and PerformanceAnalysis : First EEFEuro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures

by Brinksma, Ed
Published 2001

Springer-Verlag Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”

Cover Image

3

Validation of Stochastic Systems : A Guide to Current Research

Published 2004

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”

Cover Image

4

Validation of Stochastic Systems : A Guide to Current Research

by Baier, Christel
Published 2004

Springer Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”

Cover Image

5

Interactive Markov Chains : And the Quest for Quantified Quality

by Hermanns, Holger
Published 2002

Springer-Verlag Berlin Heidelberg

Subjects: “...Logics and Meanings of Programs...”