Liknande böcker

Computer performance evaluation : Modelling Techniques and Tools : 11th...
Bok av Boudewijn R Haverkort
Automata, Languages and Programming : 28th International Colloquium, ICA...
Bok av Fernando Orejas
Algebraic Methodology and Software Technology: 8th International Confere...
Bok av Teodor Rus
Design and implementation of symbolic computation systems : proceedings
Bok av Alfonso Miola
Applied Algebra, Algebraic Algorithms and Error-Correcting Codes: 13th I...
Bok av Shu Lin
Algebraic methodology and software technology : 7th international confer...
Bok av Armando Martain Haeberer
Design and Implementation of Symbolic Computation Systems
Bok
Tools and Algorithms for the Construction and Analysis of Systems: 8th I...
Bok av Joost-Pieter Katoen

Formal Methods for Real-Time and Probabilistic Systems: 5th International AMAST Workshop, ARTS'99 Bamberg, Germany, May 2628, 1999 Proceedings

Bok av Joost-Pieter Katoen