Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
DHL-Kurier 9.99 € Elta-Stelle 3.99 € Elta 4.49 € ACS 4.99 € ACS-Stelle 4.99 € Box Now 3.99 €
phone Kontakt phoneWie einkaufen

Programming and Proof System ATES

Advanced Techniques Integration into Efficient Scientific Software

Sprache EnglischEnglisch
Buch Broschur
Buch Programming and Proof System ATES Armand Puccetti
Libristo-Code: 06623975
Verlag Springer, Berlin, Juli 1991
This ESPRIT project integrates formal proof techniques and abstraction mechanisms within a common fr... Vollständige Beschreibung
? points 277 b
114.36 €
Externes Lager in kleiner Menge Wir versenden in 11-15 Tagen
Griechenland Lieferung in Griechenland

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Regensburg - Perle der Oberpfalz (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender Calvendo / Kalender/Terminbuch Kalender
common.buy 33.63 €
Relaxační hypnóza Martin Dlabal / Buch Broschur
common.buy 12.11 €
CAPITAN AMERICA DE MARK GRUENWALD 4 LA ESTRATEGIA SUPERIA RANDALL FRENZ / Buch Buch
common.buy 82.53 €
Ravensburger CreArt - Malen nach Zahlen 23933 - Disney Stitch - ab 12 Jahren / Spiel/Spielzeug Spiel
common.buy 27.17 €
Balance between poets Zaki Mubarak / E-Book Adobe ePub DRM
common.buy 13.12 €
Apotheose der Grundlosigkeit und andere Texte Leo Schestow / Buch Hardcover
common.buy 34.34 €
Патогенная Лептоспира и Хоноре Хоуеменоу / Buch Broschur
common.buy 35.65 €
Choisir l'abondance - Guide de la prospérité Line Bolduc / Buch Broschur
common.buy 27.47 €
Smrť v jazere Richard Austin Freeman / Buch Hardcover
common.buy 10.50 €
Contribution A l'Etude Des Retentions d'Urine Chez La Femme BARBIN-A / Buch Broschur
common.buy 16.26 €
piano Reina María Rodríguez / Buch Broschur
common.buy 20.80 €
Experimentos de química clásica Lister / Buch Broschur
common.buy 64.85 €
Die Vernunftlehre Als Eine Anweisung Zum Richtigen Gebrauche Der Vernunft In Dem Erkenntniss Der Wahrheit ...... Hermann Samuel Reimarus / Buch Broschur
common.buy 29.79 €
Demnächst
Romantica Clock. Bd.7 Yoko Maki / Buch Broschur
common.buy 7.26 €
St. Aldegundis in Emmerich am Rhein Deutscher Kunstverlag / Buch Broschur
common.buy 4.13 €
Wie Musik für die Augen zum Lesen Marcellus M. Menke / Buch Hardcover
common.buy 26.76 €

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.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Programming and Proof System ATES
Autor Armand Puccetti
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1991
Anzahl der Seiten 352
EAN 9783540541882
ISBN 9783540541882
Libristo-Code 06623975
Verlag Springer, Berlin
Gewicht 607
Abmessungen 170 x 244 x 18

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Analysis, allgemein > Numerische Mathematik
Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Verkehrstechnik und Transportwesen > Fahrzeugbau > Kfz-Handwerk
Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Technologie, allgemein > Mathematik für Ingenieure
Technologie, Ingenieurswissenschaft, Landwirtschaft, Industrieprozesse > Energietechnik, Elektrotechnik und Energiemaschinenbau > Alternative und erneuerbare Energiequellen und -technik
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Ready For Takeoff - Stories from an Air Force Pilot David Dale / Buch Hardcover
common.buy 34.04 €
The Girl Behind The Wall Ashley Antoinette / Buch Broschur
common.buy 16.56 €
Advances in Simulation, Product Design and Development M. S. Shunmugam / Buch Broschur
common.buy 308.04 €
No 40 Year Journey Brandi Rojas / Buch Broschur
common.buy 17.37 €
Poems, Letters, And Memories Of Philip Sidney Nairn (1916) Philip Sidney Nairn / Buch Hardcover
common.buy 43.03 €
Manifesto of the Communist Party Friedrich Engels / Buch Broschur
common.buy 8.98 €
Getting Back to Oz Book 2: Dorothy's Wisdom Jess Reece / Buch Broschur
common.buy 17.47 €
Richest Man In Babylon & Think and Grow Rich Napoleon Hill / Buch Broschur
common.buy 13.53 €
Wow! Look What Birds Can Do Camilla De La Bedoyere / Buch Hardcover
common.buy 13.33 €
Operating Manual Bikash Poudel / Buch Broschur
common.buy 44.44 €
Twenty-Two Goblins RYDER / Buch Hardcover
common.buy 20.90 €
Winter Wonderland HEIDI CULLINAN / Buch Broschur
common.buy 15.14 €
Poetical Works of Robert Southey, Esq; VOL. XII ROBERT SOUTHEY / Buch Broschur
common.buy 22.22 €
Translating the Bhagavadgita: A Workbook for Sanskrit Students Les Morgan / Buch Broschur
common.buy 11.91 €
The Life and Letters of Edward Gibbon, With his History of the Crusades Edward Gibbon / Buch Broschur
common.buy 29.09 €
Psalms to Inspire DAVID SPIETZ / Buch Broschur
common.buy 17.87 €
Significance of Diaspora Politics in the Visual Arts Les Morgan / Buch Broschur
common.buy 64.55 €
Burnout and Job Satisfaction among Rural and Urban Social Workers Paul MacKie / Buch Broschur
common.buy 74.25 €
Demnächst
Divergence Theorem and Sets of Finite Perimeter Washek F. Pfeffer / Buch Hardcover
common.buy 264.39 €
Bucking the Railroads on the Kansas Frontier John N. Mack / Buch Broschur
common.buy 48.69 €
History of Modern India Ishita Banerjee-Dube / Buch Broschur
common.buy 52.12 €
Pocket Guide to Legal Ethics Angela Schneeman / Buch Ring
common.buy 49.90 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?