Deductive & Declarative Programming (Cambridge Tracts in Theoretical Computer Science, 28, Band 28) - Softcover

Buch 15 von 40: Cambridge Tracts in Theoretical Computer Science

Padawitz, Peter

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

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.

Weitere beliebte Ausgaben desselben Titels

9780521417235: Deductive and Declarative Programming (Cambridge Tracts in Theoretical Computer Science)

Vorgestellte Ausgabe

ISBN 10:  0521417236 ISBN 13:  9780521417235
Verlag: Cambridge University Press, 1992
Hardcover