Logo

Educated Owl Books
Help Login / SignUp (0)
Sell with us!
Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science

Lectures on Formal Methods and Performance Analysis : First EEF/Euro Summer School on Trends in Computer Science

by Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen Paperback 2001

⭐ 0.0 rating
⭐ 0.0 out of 5 0 global ratings
5 star
65%
4 star
20%
3 star
10%
2 star
3%
1 star
2%
| 📖 0 saved | ✅ 0 verified
  • Author: Ed Brinksma, Holger Hermanns, Joost-Pieter Katoen
  • ISBN 13: 9783540424796
  • ISBN 10: 3540424792
  • Publication Year: 2001
  • Language: English

Specifications

Index-103540424792
LanguageEnglish
Index-139783540424796
Period-
Class Track-
Publisher- (2001)
Pages-

✨ Readers also enjoyed...

View All →
Computer Aided Verification : 14th International Conference, Cav 2002 Copenhagen, Denmark, July 2002 - Proceedings

Computer Aided Verification : 14th…

Ed Brinksma, Kim Guldstrand Larsen

Inquire
Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, Tacas 97, Enschede, The Netherlands, April 2-4, 1997

Tools and Algorithms for the Const…

Ed Brinksma

Inquire
Murder Is in the Air

Murder Is in the Air

Frances Brody

Inquire
La Passio Ss. Perpetuae et Felicitatis...

La Passio Ss. Perpetuae et Felicit…

Saint Perpetua, Felicitas (Saint )

Inquire
Richard Cable

Richard Cable

Sabine Baring-Gould

Inquire