Del 130 - Lecture Notes in Computer Science
Axiomatising the Logic of Computer Programming
Häftad, Engelska, 1982
Av R. Goldblatt
349 kr
Beställningsvara. Skickas inom 7-10 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.Produktinformation
- Utgivningsdatum1982-03-01
- Mått155 x 235 x 18 mm
- Vikt487 g
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor304
- Upplaga1982
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783540112105
Tillhör följande kategorier
Hoppa över listan