Skip to content

NovaLib

Sample Page
library

NovaLib

Sample Page

Library / Author / Joost-Pieter Katoen (eds.)

Books by author

Joost-Pieter Katoen (eds.)

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

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

2001 · ENGLISH · PDF

View details →

Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings

Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings

1999 · ENGLISH · PDF

View details →

Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings

Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS’99 Bamberg, Germany, May 26–28, 1999 Proceedings

1999 · ENGLISH · PDF

View details →

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

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

2001 · ENGLISH · PDF

View details →

Copyright © 2026 NovaLib | Powered by Astra WordPress Theme