Deductive and Declarative Programming

Auteur: P. Padawitz
Taal: Engels

Afbeeldingen

Artikel vergelijken

Bekijk nu
Cambridge University Press

Uitgever: Cambridge University Press

Auteur: P. Padawitz Peter Padawitz
  • Engels
  • Hardcover
  • 9780521417235
  • 01 november 1992
  • 279 pagina's
Alle productspecificaties

Samenvatting

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.

Productspecificaties

Inhoud

Taal
en
Bindwijze
Hardcover
Oorspronkelijke releasedatum
01 november 1992
Aantal pagina's
279
Illustraties
Nee

Betrokkenen

Hoofdauteur
P. Padawitz
Tweede Auteur
Peter Padawitz
Hoofduitgeverij
Cambridge University Press

Overige kenmerken

Extra groot lettertype
Nee
Verpakking breedte
179 mm
Verpakking hoogte
18 mm
Verpakking lengte
250 mm
Verpakkingsgewicht
326 g

EAN

EAN
9780521417235

Je vindt dit artikel in

Categorieën
Taal
Engels
Boek, ebook of luisterboek?
Boek

Reviews
Nog geen reviews
Hoe controleren en plaatsen wij reviews? Hoe controleren en plaatsen wij reviews?

Negatief, positief, neutraal: we zetten een review altijd online. We controleren wel eerst of ’ie voldoet aan onze reviewvoorwaarden en niet nep is. We controleren ook of ’ie is geschreven door iemand die het artikel heeft gekocht via bol.com en zetten dit er dan bij. De controles gebeuren automatisch, al kijken er soms mensen mee. Bol.com betaalt niet voor reviews. Als een reviewer door een andere partij is vergoed, staat dit in de review zelf.

Kies gewenste uitvoering

Bindwijze : Hardcover

Prijsinformatie en bestellen

Niet leverbaar

Ontvang eenmalig een mail of notificatie via de bol app zodra dit artikel weer leverbaar is.

Stuur mij een bericht Je hoort van ons
Houd er rekening mee dat het artikel niet altijd weer terug op voorraad komt.