Deductive and Declarative Programming

Name: Deductive and Declarative Programming
Brand: Cambridge University Press
SKU: 9780521417235
Price: 1905 CZK
Availability: InStock

Autor: P. Padawitz

Jazyk:

Vazba: Pevná

Vydavatel: Cambridge University Press

Dostupnost: 50 % šance

Prohledáme celý svět

1 905 Kč

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

Informace o knize

Autor

P. Padawitz

Jazyk

Angličtina

Vazba

Kniha - Pevná

Vydáno

1992

Stránek

285

EAN

9780521417235

ISBN

9780521417235

Enbook ID

08033766

Vydavatel

Cambridge University Press

Hmotnost

651

Rozměry

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 zajímat

Zákaznicí kteří koupili tuto knihu koupili také

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Nejčastěji hledané

Categories

Authors

Publishers

Produkty

Produkty

Deductive and Declarative Programming

Informace o knize

Kompletní popis

Mohlo by vás zajímat

Zákaznicí kteří koupili tuto knihu koupili také