Verwandte Artikel zu Deductive and Declarative Programming (Cambridge Tracts...

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)

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.