Dynamic Logic
Häftad, Engelska, 2000
1 199 kr
Beställningsvara. Skickas inom 3-6 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Produktinformation
- Utgivningsdatum2000-09-29
- Mått178 x 229 x 30 mm
- Vikt800 g
- FormatHäftad
- SpråkEngelska
- SerieFoundations of Computing
- Antal sidor476
- FörlagMIT Press Ltd
- ISBN9780262527668
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Engineering Theories of Software Intensive Systems
Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare
Inbunden
2 779 kr
Engineering Theories of Software Intensive Systems
Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare
Häftad
2 779 kr
Model Driven Engineering Languages and Systems
Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio
Häftad
1 409 kr
Algorithmic Bioprocesses
Joost N. Kok, Anne Condon, David Harel, Joost N. Kok, Arto Salomaa, Erik Winfree
Inbunden
2 699 kr
Algorithmic Bioprocesses
Anne Condon, David Harel, Joost N. Kok, Arto Salomaa, Erik Winfree
Häftad
2 699 kr
Hoppa över listan
Mer från samma serie
Basic Category Theory for Computer Scientists
Benjamin C. Pierce, University of Pennsylvania) Pierce, Benjamin C. (Professor
Häftad
599 kr
Formal Semantics of Programming Languages
Glynn Winskel, Glynn (University of Cambridge) Winskel
Häftad
1 439 kr
Hoppa över listan
Du kanske också är intresserad av
Basic Category Theory for Computer Scientists
Benjamin C. Pierce, University of Pennsylvania) Pierce, Benjamin C. (Professor
Häftad
599 kr
Formal Semantics of Programming Languages
Glynn Winskel, Glynn (University of Cambridge) Winskel
Häftad
1 439 kr
Del 15942
Logic, Language, Information, and Computation
Dexter Kozen, Ruy de Queiroz, Ruy De Queiroz
Häftad
929 kr