Deductive and Declarative Programming

Name: Deductive and Declarative Programming
Brand: Cambridge University Press
SKU: 9780521417235
Price: 31530 HUF
Availability: InStock

Szerző: P. Padawitz

Nyelv:

Kötés: Kemény kötésű

Kiadó: Cambridge University Press

Elérhetőség: 50 % esély

Keressük az egész világon

31 530 Ft

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

Információk a könyvről

Szerző

P. Padawitz

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

1992

oldal

285

EAN

9780521417235

ISBN

9780521417235

Enbook ID

08033766

Kiadó

Cambridge University Press

Súly

651

Méretek

178 x 254 x 17

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Deductive and Declarative Programming

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták