Häftad, Engelska, 1989
Temporal Logic in Specification
Altrincham, UK, April 8-10, 1987, Proceedings
Av Behnam Banieqbal, Howard Barringer, Amir Pnueli
Del i serien Lecture Notes in Computer Science
561 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.
Beskrivning
Produktinformation
- Utgivningsdatum: 1989-10-11
- Mått: 155 x 235 x 25 mm
- Vikt: 692 g
- Format: Häftad
- Språk: Engelska
- Serie: Lecture Notes in Computer Science
- Antal sidor: 452
- Upplaga: 1989
- Förlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN: 9783540518037
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.