Liknande böcker

Numerical methods using MATLAB
Bok av John H. Mathews
Theory and Application of Graphs
Bok av Junming Xu
Fundamentals of complex analysis : with applications to engineering and...
Bok av Edward Barry Saff
Visual complex analysis
Bok av Tristan Needham
Fundamentals of Complex Analysis with Applications to Engineering, Sci...
Bok av Edward B. Saff och Arthur David Snider
Method of difference potentials and its applications
Bok
Spatial Tessellations [electronic resource] : Concepts and Applications...
Bok av Atsuyuki. Okabe
Principles of Harmonic Analysis
Bok av Anton Deitmar

Computer-aided verification of coordinating processes : the automata-theoretic approach

Bok av Robert P. Kurshan
2 utgåvor
Välj utgåva
Alla
Visa alla 2 utgåvor
Computer-aided Verification of Coordinating ProcessesEngelska - Inbunden
ISBN: 9780691634890
Kurshan, Robert P.: Computer-Aided Verification of Coordinating ProcessesEngelska - Okänt
ISBN: 9780691606057
Visa pris inkl. frakt Inkl. frakt
Adlibris
1445 kr fri frakt
Finns i lager
Till butik
Computer-aided Verification of Coordinating Processes
1445 kr
Finns i lager
Listan innehåller betalda länkar
Vilka butiker visas?