Ergebnisse filtern
-
- 5
- 2
-
- 1
- 3
- 1
- 1
- 1
-
- 2
- 2
- 1
- 2
-
- 1
- 3
- 3
-
- 7
-
- 7
-
- 7
-
Barringer A Survey of Verification Techniques for Parallel Programs
1985Verlag: Springer Berlin HeidelbergISBN: 978-3-540-15239-2Medium: Buch24,60 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Banieqbal / Pnueli / Barringer Temporal Logic in Specification
Altrincham, UK, April 8-10, 1987, Proceedings1989Verlag: Springer Berlin HeidelbergISBN: 978-3-540-51803-7Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Barringer / Gough / Fisher Advances in Temporal Logic
2000Verlag: Springer NetherlandsISBN: 978-0-7923-6149-7Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Barringer / Fisher / Gabbay Advances in Temporal Logic
Erscheinungsjahr 2013Verlag: Springer NetherlandISBN: 978-94-015-9586-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark149,79 € (inkl. MwSt.)
sofort verfügbar -
Barringer / Gough / Fisher Advances in Temporal Logic
1. Auflage. Softcover version of original hardcover Auflage 2000Verlag: Springer NetherlandsISBN: 978-90-481-5389-3Medium: Buch160,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Barringer / Falcone / Finkbeiner Runtime Verification
First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. ProceedingsErscheinungsjahr 2010Verlag: SpringerISBN: 978-3-642-16612-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Barringer / Falcone / Finkbeiner Runtime Verification
First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-16611-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort