Deductive and Declarative Programming

Name: Deductive and Declarative Programming
Brand: Cambridge University Press
SKU: 9780521417235
Price: 82.52 EUR
Availability: InStock

Autor: P. Padawitz

Jazyk:

Väzba: Pevná

Vydavateľ: Cambridge University Press

Dostupnosť: 50 % šanca

Prehľadáme celý svet

82.52 €

Declarative programs consist of mathematical functions and relations and so they are amenable to for...

Informácie o knihe

Autor

P. Padawitz

Jazyk

Angličtina

Väzba

Kniha - Pevná

Vydalo

1992

Stránok

285

EAN

9780521417235

ISBN

9780521417235

Enbook ID

08033766

Vydavateľ

Cambridge University Press

Hmotnosť

651

Rozmery

178 x 254 x 17

Kompletný popis

Declarative programs consist of mathematical functions and relations and so they are amenable to formal specification and verification. This book emphasizes verification based on logic inference rules, attempting to capture the actual styles and applications of programming.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Deductive and Declarative Programming

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež