Ergebnisse filtern
-
- 10
- 6
-
- 5
- 2
- 2
- 3
- 1
- 1
- 1
- 1
-
- 10
- 3
- 3
-
- 10
- 6
-
- 16
-
- 16
-
- 16
-
Pnueli / Manna The Temporal Logic of Reactive and Concurrent Systems
SpecificationSoftcover Nachdruck of the original 1. Auflage 1992Verlag: SpringerISBN: 978-1-4612-6950-2Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pnueli / Voronkov Perspectives of Systems Informatics
7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers2010Verlag: SpringerISBN: 978-3-642-11486-1Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Pnueli / Voronkov Perspectives of Systems Informatics
7th International Andrei Ershov Memorial Conference, PSI 2009, Novosibirsk, Russia, June 15-19, 2009, Revised Papers1. Auflage. 2010Verlag: SpringerISBN: 978-3-642-11485-4Medium: Buch53,49 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pnueli / Manna Temporal Verification of Reactive Systems
Safety1995Verlag: SpringerISBN: 978-1-4612-8701-8Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Manna / Pnueli The Temporal Logic of Reactive and Concurrent Systems
SpecificationErscheinungsjahr 2012Verlag: Springer USISBN: 978-1-4612-0931-7Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark53,49 € (inkl. MwSt.)
sofort verfügbar -
Pnueli / Manna Temporal Verification of Reactive Systems
Safety1995Verlag: SpringerISBN: 978-0-387-94459-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Pnueli / Manna The Temporal Logic of Reactive and Concurrent Systems
Specification1992Verlag: Springer USISBN: 978-0-387-97664-8Medium: Buch117,69 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Manna / Pnueli Temporal Verification of Reactive Systems
SafetyErscheinungsjahr 2012Verlag: Springer USISBN: 978-1-4612-4222-2Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Wiedijk / Maler / Pnueli Hybrid Systems: Computation and Control
6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, ProceedingsErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-36580-8Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Wiedijk / Pnueli / Maler Hybrid Systems: Computation and Control
6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings2003Verlag: Springer Berlin HeidelbergISBN: 978-3-540-00913-9Medium: Buch106,99 € (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 -
Roever / Pnueli / Langmaack Compositionality: The Significant Difference
International Symposium, COMPOS'97 Bad Malente, Germany, September 8-12, 1997 Revised Lectures1998Verlag: Springer Berlin HeidelbergISBN: 978-3-540-65493-3Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Roever / Langmaack / Pnueli Compositionality: The Significant Difference
International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised LecturesErscheinungsjahr 2003Verlag: SpringerISBN: 978-3-540-49213-9Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark96,29 € (inkl. MwSt.)
sofort verfügbar -
Apt / Olderog / de Boer Verification of Sequential and Concurrent Programs
Third Auflage 2009Verlag: SpringerISBN: 978-1-4471-2513-6Medium: Buch85,59 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage -
Apt / de Boer / Olderog Verification of Sequential and Concurrent Programs
Third Auflage 2009Verlag: SpringerISBN: 978-1-84882-745-5Medium: eBookFormat: PDF
Kopierschutz: 1 - PDF Watermark71,39 € (inkl. MwSt.)
sofort verfügbar -
Apt / Olderog / de Boer Verification of Sequential and Concurrent Programs
Third Auflage 2009Verlag: SpringerISBN: 978-1-84882-744-8Medium: Buch106,99 € (inkl. MwSt.)
Lieferzeit ca. 10 Werktage
Ist Ihr gesuchter Titel nicht Teil der Ergebnisse? Dann nutzen Sie unser Kontaktformular
Bitte ändern Sie das Passwort