Constructive Analysis and Synthesis of Programs (inbunden)
Fler böcker inom
Format
Inbunden (Hardback)
Språk
Engelska
Antal sidor
140
Utgivningsdatum
2009-10-26
Förlag
Lulu.com
Illustrationer
black & white illustrations
Dimensioner
229 x 152 x 10 mm
Vikt
359 g
Antal komponenter
1
Komponenter
9:B&W 6 x 9 in or 229 x 152 mm Case Laminate on Creme w/Gloss Lam
ISBN
9781445206387

Constructive Analysis and Synthesis of Programs

Inbunden,  Engelska, 2009-10-26
387
Billigast på PriceRunner
  • Skickas från oss inom 7-10 vardagar.
  • Fri frakt över 249 kr för privatkunder i Sverige.
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.
Visa hela texten

Passar bra ihop

  1. Constructive Analysis and Synthesis of Programs
  2. +
  3. Material World

De som köpt den här boken har ofta också köpt Material World av Ed Conway (inbunden).

Köp båda 2 för 631 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av Marco Benini

  • Liturgical Hermeneutics of Sacred Scriputure

    Marco Benini, Brian McNeil, Michael G Witczak

    The purpose of this book is to explore what a liturgical approach to the Bible looks like and what hermeneutical implications this might have: How does the liturgy celebrate, understand, and communicate Scripture? The starting point is Pope Benedi...

  • Mathematics For Computation (M4c)

    Marco Benini, Olaf Beyersdorff, Michael Rathjen, Peter Michael Schuster

    The overall topic of the volume, Mathematics for Computation (M4C), is mathematics taking crucially into account the aspect of computation, investigating the interaction of mathematics with computation, bridging the gap between mathematics and com...