Catalogo · 9780387092379
First-order dynamic logic
ISBN 9780387092379
Descrizione non disponibile per questo libro.
La tua libreria
Accedi per aggiungere questo libro alla tua libreria.
Lettori
Communitas attorno al libro
Letture affini
Algorithmics
David Harel
Dynamic Logic
David Harel, Dexter Kozen, Jerzy Tiuryn
Real-time UML
Bruce Powel Douglass, David Harel
Computers Ltd
David Harel
Come, let's play
David Harel, Rami Marelly
Rzecz o istocie informatyki
David Harel
Oxford Maths Zone
David Harel
Engineering Theories of Software Intensive Systems
Manfred Broy, Johannes Gruenbauer, David Harel
Algoritmi
David Harel, Yishai Feldman
Algorithmik
David Harel, Micaela Krieger, Yishai Feldman
המחשב אינו כל־יכול
David Harel
The science of computing
David Harel
Verba volant · scripta manent