Constructive Analysis and Synthesis of Programs / Najlacnejšie knihy
Constructive Analysis and Synthesis of Programs

Kód: 08576148

Constructive Analysis and Synthesis of Programs

Autor Marco Benini

Starting from the analysis of the problem behind formal verification of programs and showing the need for automatic synthesis and analysis of computer programs, the book presents the logical systems to reason about programs, the w ... celý popis

29.16 €

Bežne: 29.71 €

Ušetríte 0.55 €


Skladom u dodávateľa
Odosielame za 9 - 15 dní
Pridať medzi želanie

Mohlo by sa vám tiež páčiť

Darčekový poukaz: Radosť zaručená
  1. Darujte poukaz v ľubovoľnej hodnote, a my sa postaráme o zvyšok.
  2. Poukaz sa vzťahuje na všetky produkty v našej ponuke.
  3. Elektronický poukaz si vytlačíte z e-mailu a môžete ho ihneď darovať.
  4. Platnosť poukazu je 12 mesiacov od dátumu vystavenia.

Objednať darčekový poukazViac informácií

Viac informácií o knihe Constructive Analysis and Synthesis of Programs

Nákupom získate 70 bodov

Anotácia knihy

Starting from the analysis of the problem behind formal verification of programs and showing the need for automatic synthesis and analysis of computer programs, the book presents the logical systems to reason about programs, the way to encode specifications so to enable their computational reading. Then, the mathematics behind synthesis and analysis of computer programs is developed in depth.

Parametre knihy

Zaradenie knihy Knihy po anglicky Mathematics & science Science: general issues

29.16 €

Obľúbené z iného súdka

O tomto obchode



Nákupný poradca
Prehľady
Knihy podľa jazyka
Platba
Doručenie 2.99 €

Osobný odber Bratislava a 12762 dalších

Slovensko
България Hrvatska România Magyarország Polska Česko

Copyright ©2008-26 najlacnejsie-knihy.sk Všetky práva vyhradenéSúkromieCookies

Môj účet: Prihlásiť sa
Všetky knihy sveta na jednom mieste. Navyše za skvelé ceny.

Nákupný košík ( prázdny )

Vyzdvihnutie v Zásielkovni
zadarmo nad 59,99 €.

Nachádzate sa: