Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science) - Hardcover

Buch 15 von 40: Cambridge Tracts in Theoretical Computer Science

Padawitz, P.

 
9780521417235: Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science)
Hardcover
ISBN 10: 0521417236 ISBN 13: 9780521417235
Verlag: Cambridge University Press, 1992

Inhaltsangabe

The book can be used for graduate courses or as a reference for researchers in formal methods, theorem-proving and declarative languages.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Cambridge University Press
Erscheinungsdatum
1992
Sprache
Englisch
ISBN 10 
0521417236
ISBN 13 
9780521417235
Einband
Gebundene Ausgabe
Anzahl der Seiten
285
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
Frankreich

Weitere beliebte Ausgaben desselben Titels

9780521032513: Deductive & Declarative Programming: 28 (Cambridge Tracts in Theoretical Computer Science, Series Number 28)

Vorgestellte Ausgabe

ISBN 10:  0521032512 ISBN 13:  9780521032513
Verlag: Cambridge University Press, 2008
Softcover