Liknande böcker

Formal Techniques in Real-Time and Fault-Tolerant Systems : Third Intern...
Bok av Hans Langmaack
FSTTCS 2006: Foundations of Software Technology and Theoretical Computer...
Bok av S. Arun-Kumar
Software Reliability Modelling and Identification
Bok av Sergio Bittanti
Extensions of the UNITY Methodology : Compositionality, Fairness and Pro...
Bok av Josyula Ramachandra Rao
Semantics: Foundations and Applications : REX Workshop, Beekbergen, The...
Bok av J W De Bakker
Model Checking Software
Bok av Thomas Ball
Fundamental Approaches to Software Engineering
Bok
Coordination Models and Languages : 5th International Conference, COORDI...
Bok av Farhad Arbab

Foundations of Software Science and Computational Structures

Bok