Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 59.99 €
DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis verzending vanaf 59,99 euro.

Constructive Analysis and Synthesis of Programs

Taal EngelsEngels
Boek Gebonden (harde band)
Boek Constructive Analysis and Synthesis of Programs Marco Benini
Libristo-code: 08576148
Uitgeverij Lulu.com, oktober 2009
Starting from the analysis of the problem behind formal verification of programs and showing the nee... Volledige beschrijving
? points 74 b
30.60 €
In extern magazijn Wordt binnen 9-15 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Blue Skies T. C. Boyle / Boek Gebonden (paperback)
common.buy 13.57 €
Fotodinámica: una nueva tendencia emergente en odontología Arundeep Kaur Lamba / Boek Gebonden (paperback)
common.buy 32.12 €
Bulletin de bibliographie d'histoire et de biographie mathématique Olry Terquem / Boek Gebonden (paperback)
common.buy 29.58 €
Fondamenti di informatica Yogesh Kumar Sharma / Boek Gebonden (paperback)
common.buy 79.95 €
Hier kommt ein T-Rex vor. Und das ist erst der Anfang! Noémie Favart / Boek Gebonden (harde band)
common.buy 14.48 €
Ремесленный хлеб и сдоба на закваске Ольга Войнова / Boek Gebonden (harde band)
common.buy 37.69 €
Milli Tarihin Insasi / Boek Gebonden (paperback)
common.buy 17.22 €
Desafios em projetos Daiane Freire Benites / Boek Gebonden (paperback)
common.buy 38.81 €
El pirata y el boticario Robert Louis . . . [et al. ] Stevenson / Boek Gebonden (paperback)
common.buy 20.46 €
Ruckforderung schwiegerelterlicher Zuwendungen Anna Leszczenski / Boek Gebonden (harde band)
common.buy 91.71 €
Le Poeme de Lucrece: Morale, Religion, Science (Ed.1896) Constant Martha / Boek Gebonden (paperback)
common.buy 30.29 €
El Colibrí que perdió su pico. Der Kolibri, der seinen Schnabel verlor. The Hummingbird that losts his beak José Paniagua / Boek Gebonden (harde band)
common.buy 15.29 €
Lord Byron Alfred Schirokauer / Boek Gebonden (paperback)
common.buy 26.34 €

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.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Constructive Analysis and Synthesis of Programs
Auteur Marco Benini
Taal Engels
Bindwijze Boek - Gebonden (harde band)
Datum van uitgifte 2009
Aantal pagina's 140
EAN 9781445206387
ISBN 9781445206387
Libristo-code 08576148
Uitgeverij Lulu.com
Gewicht 379
Afmetingen 152 x 229 x 11

Categorieën

Wiskunde en wetenschap > Wetenschap: algemene onderwerpen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Europe by Rail: The Definitive Guide (18th edition) Nicky Gardner / Boek Gebonden (paperback)
common.buy 28.27 €
Hicons 14 Conference on High Confidence Networked Systems Hicons 14 Conference Committee / Boek Gebonden (paperback)
common.buy 52.28 €
Be with Me Mike Chernuk / Boek Gebonden (paperback)
common.buy 13.27 €
Talk's Cheap, Action's Expensive - The Films of Robert L. Lippert Mark Thomas McGee / Boek Gebonden (paperback)
common.buy 27.96 €
More Hypnotic Scripts That Work John Cerbone / Boek Gebonden (paperback)
common.buy 59.99 €
Starfish Girl Athena Villaverde / Boek Gebonden (paperback)
common.buy 16.61 €
The Princess in Black and the Kitty Catastrophe Shannon Hale / Boek Gebonden (paperback)
common.buy 6.27 €
Communicatie Bij Hersenletsel E Witteveen / Boek Gebonden (harde band)
common.buy 50.97 €
American Journal of Physiology, Volume 47 American Physiological Society / Boek Gebonden (harde band)
common.buy 41.14 €
Foxe's Book of Martyrs John Foxe / Boek Gebonden (paperback)
common.buy 24.41 €
Foreign Missions Rufus Anderson / Boek Gebonden (harde band)
common.buy 36.47 €
Young Robin Hood George Manville Fenn / Boek Gebonden (paperback)
common.buy 13.06 €
Spinosaurus Ben Garrod / Boek Gebonden (paperback)
common.buy 9.31 €
Late Hector Kipling David Thewlis / Boek Gebonden (paperback)
common.buy 18.74 €
Sakhee Book: Or the Description of Gooroo Gobind Singh's Religion and Doctrines (1873) Sirdar Attar Singh / Boek Gebonden (harde band)
common.buy 42.15 €
Inward Yung Pueblo / Luisterboek MP3
common.buy 15.09 €
1.LOOK, LISTEN & LEARN.(METHOD FOR HORN) / Boek Boek
common.buy 31.20 €
Monochrome Craig G. Staff / Boek Gebonden (harde band)
common.buy 168.22 €
Foreign Direct Investment Daniel Nicholls / Boek Gebonden (harde band)
common.buy 101.44 €
Remythologizing Theology Kevin J. Vanhoozer / Boek Gebonden (paperback)
common.buy 71.54 €
Design for Six Sigma Kai Yang / Boek Gebonden (harde band)
common.buy 138.83 €
Love Won't Let Me Be Silent Terry Angel Mason / Boek Gebonden (harde band)
common.buy 21.68 €
Blogging for Writers Robin Houghton / Boek Gebonden (paperback)
common.buy 31.10 €
X Marks the Spot Russell K. Skowronek / Boek Gebonden (paperback)
common.buy 21.68 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?