Constructive Analysis and Synthesis of Programs - 5 Angebote vergleichen
Bester Preis: € 31,17 (vom 09.12.2015)1
Constructive Analysis and Synthesis of Programs (2009)
EN HC NW
ISBN: 9781445206387 bzw. 1445206382, in Englisch, 140 Seiten, Lulu.com, gebundenes Buch, neu.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, PBShop UK.
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. Hardcover, Label: Lulu.com, Lulu.com, Produktgruppe: Book, Publiziert: 2009-10-26, Studio: Lulu.com, Verkaufsrang: 14176068.
Von Händler/Antiquariat, PBShop UK.
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. Hardcover, Label: Lulu.com, Lulu.com, Produktgruppe: Book, Publiziert: 2009-10-26, Studio: Lulu.com, Verkaufsrang: 14176068.
2
Constructive Analysis and Synthesis of Programs (2009)
EN HC US
ISBN: 9781445206387 bzw. 1445206382, in Englisch, 140 Seiten, Lulu.com, gebundenes Buch, gebraucht.
Lieferung aus: Vereinigte Staaten von Amerika, Usually ships in 1-2 business days.
Von Händler/Antiquariat, super_star_seller.
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. Hardcover, Label: Lulu.com, Lulu.com, Produktgruppe: Book, Publiziert: 2009-10-26, Studio: Lulu.com, Verkaufsrang: 14176068.
Von Händler/Antiquariat, super_star_seller.
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. Hardcover, Label: Lulu.com, Lulu.com, Produktgruppe: Book, Publiziert: 2009-10-26, Studio: Lulu.com, Verkaufsrang: 14176068.
3
Constructive Analysis And Synthesis Of Programs
EN NW
ISBN: 9781445206387 bzw. 1445206382, in Englisch, Lulu.com, Lulu.com, Lulu.com, neu.
Lieferung aus: Vereinigte Staaten von Amerika, zzgl. Versandkosten, Free Shipping on eligible orders over $25, in-stock.
Marco Benini, Hardcover, English-language edition, Pub by Lulu.com.
Marco Benini, Hardcover, English-language edition, Pub by Lulu.com.
4
Constructive Analysis and Synthesis of Programs (2009)
~EN HC NW
ISBN: 9781445206387 bzw. 1445206382, vermutlich in Englisch, gebundenes Buch, neu.
Lieferung aus: Deutschland, Next Day, Versandkostenfrei.
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Die Beschreibung dieses Angebotes ist von geringer Qualität oder in einer Fremdsprache. Trotzdem anzeigen
Lade…