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.

Programming and Proof System ATES

Advanced Techniques Integration into Efficient Scientific Software

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Programming and Proof System ATES Armand Puccetti
Libristo-code: 06623975
Uitgeverij Springer, Berlin, juli 1991
This ESPRIT project integrates formal proof techniques and abstraction mechanisms within a common fr... Volledige beschrijving
? points 290 b
119.78 €
In extern magazijn in kleine hoeveelheid Wordt binnen 13-18 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

Regensburg - Perle der Oberpfalz (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender Calvendo / Kalender/agenda Kalender
common.buy 33.71 €
Relaxační hypnóza Martin Dlabal / Boek Gebonden (paperback)
common.buy 11.43 €
CAPITAN AMERICA DE MARK GRUENWALD 4 LA ESTRATEGIA SUPERIA RANDALL FRENZ / Boek Boek
common.buy 82.72 €
Ravensburger CreArt - Malen nach Zahlen 23933 - Disney Stitch - ab 12 Jahren / Spel/speelgoed Spel
common.buy 27.23 €
Balance between poets Zaki Mubarak / E-book Adobe ePub DRM
common.buy 13.15 €
Apotheose der Grundlosigkeit und andere Texte Leo Schestow / Boek Gebonden (harde band)
common.buy 34.42 €
Патогенная Лептоспира и Хоноре Хоуеменоу / Boek Gebonden (paperback)
common.buy 35.74 €
Choisir l'abondance - Guide de la prospérité Line Bolduc / Boek Gebonden (paperback)
common.buy 27.53 €
Smrť v jazere Richard Austin Freeman / Boek Gebonden (harde band)
common.buy 10.52 €
Contribution A l'Etude Des Retentions d'Urine Chez La Femme BARBIN-A / Boek Gebonden (paperback)
common.buy 15.58 €
piano Reina María Rodríguez / Boek Gebonden (paperback)
common.buy 19.94 €
Experimentos de química clásica Lister / Boek Gebonden (paperback)
common.buy 65.00 €
Die Vernunftlehre Als Eine Anweisung Zum Richtigen Gebrauche Der Vernunft In Dem Erkenntniss Der Wahrheit ...... Hermann Samuel Reimarus / Boek Gebonden (paperback)
common.buy 28.14 €
Wordt verwacht
Romantica Clock. Bd.7 Yoko Maki / Boek Gebonden (paperback)
common.buy 7.28 €
St. Aldegundis in Emmerich am Rhein Deutscher Kunstverlag / Boek Gebonden (paperback)
common.buy 4.24 €
Wie Musik für die Augen zum Lesen Marcellus M. Menke / Boek Gebonden (harde band)
common.buy 26.82 €

This ESPRIT project integrates formal proof techniques and abstraction mechanisms within a common framework to create an environment for scientific software design. It focuses upon recent developments concerning abstraction of data types, data base management, specification and program verification.

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 Programming and Proof System ATES
Auteur Armand Puccetti
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 1991
Aantal pagina's 352
EAN 9783540541882
ISBN 9783540541882
Libristo-code 06623975
Uitgeverij Springer, Berlin
Gewicht 607
Afmetingen 170 x 244 x 18

Categorieën

Wiskunde en wetenschap > Wiskunde > Calculus en wiskundige analyse > Numerieke analyse
Technologie, techniek, landbouw, industriële processen > Transporttechnologie en -handel > Zelf aandrijvende technologie en handel > Zelf aandrijvende vaardigheden (automonteur)
Technologie, techniek, landbouw, industriële processen > Technologie: algemene onderwerpen > Wiskunde voor ingenieurs
Technologie, techniek, landbouw, industriële processen > Energietechnologie en energietechniek > Alternatieve energiebronnen, duurzame energiebronnen en duurzame energietechnologie
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
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

Ready For Takeoff - Stories from an Air Force Pilot David Dale / Boek Gebonden (harde band)
common.buy 32.70 €
The Girl Behind The Wall Ashley Antoinette / Boek Gebonden (paperback)
common.buy 15.79 €
No 40 Year Journey Brandi Rojas / Boek Gebonden (paperback)
common.buy 16.60 €
Poems, Letters, And Memories Of Philip Sidney Nairn (1916) Philip Sidney Nairn / Boek Gebonden (harde band)
common.buy 41.10 €
Manifesto of the Communist Party Friedrich Engels / Boek Gebonden (paperback)
common.buy 8.60 €
Getting Back to Oz Book 2: Dorothy's Wisdom Jess Reece / Boek Gebonden (paperback)
common.buy 16.70 €
Advances in Simulation, Product Design and Development M. S. Shunmugam / Boek Gebonden (paperback)
common.buy 308.74 €
Wow! Look What Birds Can Do Camilla De La Bedoyere / Boek Gebonden (harde band)
common.buy 14.17 €
Operating Manual Bikash Poudel / Boek Gebonden (paperback)
common.buy 44.55 €
Twenty-Two Goblins RYDER / Boek Gebonden (harde band)
common.buy 20.04 €
Winter Wonderland HEIDI CULLINAN / Boek Gebonden (paperback)
common.buy 14.27 €
Poetical Works of Robert Southey, Esq; VOL. XII ROBERT SOUTHEY / Boek Gebonden (paperback)
common.buy 21.25 €
Translating the Bhagavadgita: A Workbook for Sanskrit Students Les Morgan / Boek Gebonden (paperback)
common.buy 11.43 €
Richest Man In Babylon & Think and Grow Rich Napoleon Hill / Boek Gebonden (paperback)
common.buy 12.95 €
Psalms to Inspire DAVID SPIETZ / Boek Gebonden (paperback)
common.buy 17.00 €
Significance of Diaspora Politics in the Visual Arts Les Morgan / Boek Gebonden (paperback)
common.buy 61.76 €
Burnout and Job Satisfaction among Rural and Urban Social Workers Paul MacKie / Boek Gebonden (paperback)
common.buy 70.97 €
Wordt verwacht
Divergence Theorem and Sets of Finite Perimeter Washek F. Pfeffer / Boek Gebonden (harde band)
common.buy 278.26 €
Bucking the Railroads on the Kansas Frontier John N. Mack / Boek Gebonden (paperback)
common.buy 46.87 €
History of Modern India Ishita Banerjee-Dube / Boek Gebonden (paperback)
common.buy 49.81 €
Pocket Guide to Legal Ethics Angela Schneeman / Boek Ringband
common.buy 47.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?