A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science) - Softcover

Barringer, H.

 
9780387152394: A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science)
Softcover
ISBN 10: 0387152393 ISBN 13: 9780387152394
Verlag: Springer Verlag, 1985

Inhaltsangabe

1985 Taschenbuch Springer-Verlag,

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer Verlag
Erscheinungsdatum
1985
Sprache
Englisch
ISBN 10 
0387152393
ISBN 13 
9780387152394
Einband
Taschenbuch
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9783540152392: A Survey of Verification Techniques for Parallel Programs (Lecture Notes in Computer Science, 191, Band 191)

Vorgestellte Ausgabe

ISBN 10:  3540152393 ISBN 13:  9783540152392
Verlag: Springer, 2008
Softcover