Temporal Logic of Programs

Name: Temporal Logic of Programs
Price: 62.18 EUR
Availability: OutOfStock
Author: Fred Kroger
ISBN: 978-0-387-17030-5

Fred Kroger(Autor*in)

Springer (Verlag)

Erschienen am 1. Mai 1987

Buch

Hardcover

148 Seiten

978-0-387-17030-5 (ISBN)

62,18 €inkl. 7% MwSt.

Artikel leider nicht lieferbar

Weitere Details