Dynamic Logic

Häftad, Engelska, 2000

Av David Harel, Dexter Kozen, Jerzy Tiuryn

1 269 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

Systemvetenskap och AI inom Data och it
Programmeringsböcker inom Data och it

Mer från samma författare

Algorithmics

Algorithmics

David Harel, Yishai Feldman

1 399 kr

Engineering Theories of Software Intensive Systems

Del 195

Engineering Theories of Software Intensive Systems

Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare

2 869 kr

Engineering Theories of Software Intensive Systems

Del 195

Engineering Theories of Software Intensive Systems

Manfred Broy, Johannes Gruenbauer, David Harel, Tony Hoare

2 869 kr

Come, Let’s Play

Come, Let’s Play

David Harel, Rami Marelly

729 kr

Algorithmik

Algorithmik

David Harel, Yishai Feldman

689 kr

Das Affenpuzzle und weitere bad news aus der Computerwelt

Das Affenpuzzle und weitere bad news aus der Computerwelt

399 kr

Model Driven Engineering Languages and Systems

Model Driven Engineering Languages and Systems

Oscar Nierstrasz, Jon Whittle, David Harel, Gianna Reggio

1 449 kr

Algorithmic Bioprocesses

Algorithmic Bioprocesses

Joost N. Kok, Anne Condon, David Harel, Joost N. Kok, Arto Salomaa, Erik Winfree

2 779 kr

Algorithmik

Algorithmik

David Harel, Yishai Feldman

439 kr

Algorithmic Bioprocesses

Algorithmic Bioprocesses

Anne Condon, David Harel, Joost N. Kok, Arto Salomaa, Erik Winfree

2 779 kr

Du kanske också är intresserad av