Temporal Logic of Programs

Temporal Logic of Programs

AngličtinaEbook
Kroger, Fred
Springer Berlin Heidelberg
EAN: 9783642715495
Dostupné online
1 385 Kč
Běžná cena: 1 539 Kč
Sleva 10 %
ks
EAN 9783642715495
ISBN 3642715494
Typ produktu Ebook
Vydavatel Springer Berlin Heidelberg
Datum vydání 6. prosince 2012
Jazyk English
Země Germany
Autoři Kroger, Fred
Série Monographs in Theoretical Computer Science. An EATCS Series
Informace o výrobci
Kontaktní informace výrobce nejsou momentálně dostupné online, na nápravě intenzivně pracujeme. Pokud informaci potřebujete, napište nám na [email protected], rádi Vám ji poskytneme.