Freunden von diesem Artikel berichten:
A Survey of Verification Techniques for Parallel Programs - Lecture Notes in Computer Science Howard Barringer 1985 edition
Preis
SFr. 22,49
exkl. MwSt.
Bestellware
Lieferdatum: ca. 12. - 20. Jan 2026
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Zu deiner iMusic Wunschliste hinzufügen
A Survey of Verification Techniques for Parallel Programs - Lecture Notes in Computer Science
Howard Barringer
120 pages, biography
| Medien | Bücher Taschenbuch (Buch mit Softcover und geklebtem Rücken) |
| Erscheinungsdatum | 1. Mai 1985 |
| ISBN13 | 9783540152392 |
| Verlag | Springer-Verlag Berlin and Heidelberg Gm |
| Seitenanzahl | 120 |
| Maße | 156 × 234 × 6 mm · 190 g |
| Sprache | Englisch |
Weitere Titel von Howard Barringer
Alle anzeigen![Cover for Howard Barringer · Advances in Temporal Logic - Applied Logic Series (Taschenbuch) [1st Ed. Softcover of Orig. Ed. 2000 edition] (2010)](https://imusic.b-cdn.net/images/item/original/893/9789048153893.jpg?howard-barringer-2010-advances-in-temporal-logic-applied-logic-series-taschenbuch&class=scaled&v=1502205856)
Alle Titel von Howard Barringer ansehen ( u. a. Taschenbuch und Gebundenes Buch )