Del 131 - Lecture Notes in Computer Science
Logics of Programs
Workshop, Yorktown Heights, NY, USA
Häftad, Engelska, 1982
Av D. Kozen
519 kr
Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.Produktinformation
- Utgivningsdatum1982-03-01
- Mått170 x 250 x undefined mm
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor429
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783540112129