Deductive and Declarative Programming

Name: Deductive and Declarative Programming
Brand: Cambridge University Press
SKU: 9780521417235
Price: 349.89 PLN
Availability: InStock

Autor: P. Padawitz

Język:

Oprawa: Twarda

Wydawca: Cambridge University Press

Dostępność: 50 % szansa

Przeszukamy cały świat

349.89 zł

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

Informacje o książce

Autor

P. Padawitz

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

1992

strony

285

EAN

9780521417235

ISBN

9780521417235

Enbook ID

08033766

Wydawca

Cambridge University Press

Waga

651

Wymiary

178 x 254 x 17

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Deductive and Declarative Programming

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również