Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei FAN Courier 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile de peste 349 LEI prin Easybox, FAN BOX și Coletăria.

Correctness-by-Construction Approach to Programming

Limba englezăengleză
Carte Copertă tare
Carte Correctness-by-Construction Approach to Programming Derrick G. Kourie
Codul Libristo: 01660456
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, aprilie 2012
Focusing on ways to bridge the gap between formal and more intuitive software programming, this care... Descrierea completă
? points 263 b
575.47 lei
În depozitul extern Expediem în 10-13 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Thrombosen und Embolien: Arzthaftung K. J. Husfeldt / Carte Carte broșată
common.buy 296.50 lei
Curând
Důmyslný rytíř Don Quijote de la Mancha de Cervantes Saavedra Miguel / Carte Copertă tare
common.buy 229.64 lei
SAN ANTONIO T3 TITRE A PRECISER Sanlaville / Carte Copertă tare
common.buy 97.12 lei
Die Vorsokratischen Philosophen Geoffrey S. Kirk / Carte Carte broșată
common.buy 132.81 lei
Puedo Mirar Tu Regalo Guido van Genechten / Carte Copertă tare
common.buy 81.08 lei
Im Reiche Des Silbernen Lowen 3 Karl May / Carte Carte broșată
common.buy 100.53 lei
Tetris – hra, ktorá zmenila dejiny Box Brown / Carte Carte broșată
common.buy 96.82 lei
Diercke Praxis 7e/6e. Schulbuch. Ausgabe für Luxemburg / Carte Copertă tare
common.buy 222.02 lei
Las voces bajas Manuel Rivas / Carte Carte broșată
common.buy 107.35 lei
Kosmokluk David Walliams / Carte Carte broșată
common.buy 75.77 lei
Nattens odjur Krefeld / Audiobook MP3
common.buy 33.98 lei
Leftin
Good Boy - Jófiú Elle Kennedy / Carte Copertă tare
common.buy 26.55 lei
Guérir par l'énergie, la méditation et la thérapie VORGER / Carte Carte broșată
common.buy 53.42 lei
Supersensible Impulses P. King / Carte Carte broșată
common.buy 130.40 lei
Histoire de La R'Volution Russe. La R'Volution D'Octobre T2 L'On Trotsky / Carte Carte broșată
common.buy 63.94 lei
AutoCAD 2008, paso a paso Rafael Ábalos Bergillos / Carte Carte broșată
common.buy 156.07 lei
Histoire Du Grand Et Veritable Chevalier Caissant Bonnet-J / Carte Carte broșată
common.buy 92.01 lei
Histoire de Sainte Monique 5e Edition Bougaud-L-E / Carte Carte broșată
common.buy 222.63 lei
111 Gründe, Atlético Madrid zu lieben André Kahle / Carte Carte broșată
common.buy 76.29 lei
La negociación del convenio colectivo estatutario Francisco Ramón Lacomba Pérez / Carte Carte broșată
common.buy 104.54 lei
Introducción al Derecho de la Seguridad Social Santiago González Ortega / Carte Carte broșată
common.buy 195.96 lei
Fingerapotheke der Zucker und Enzyme Peter Gienow / Carte Carte broșată
common.buy 137.85 lei
Arabesky Jan Neruda / Carte Copertă tare
common.buy 41.89 lei
Top
J'aime niveau 3 cahier d'exercices Adrien Payet / Carte Carte broșată
common.buy 60.23 lei

Focusing on ways to bridge the gap between formal and more intuitive software programming, this carefully graded text provides stepwise explanation of algorithm derivation and facilitates practical applications in computation geometry, among other fields.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Correctness-by-Construction Approach to Programming
Autor Derrick G. Kourie, Bruce W. Watson
Limba engleză
Legare Carte - Copertă tare
Data publicării 2012
Număr pagini 266
EAN 9783642279188
ISBN 364227918X
Codul Libristo 01660456
Editura Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Greutatea 556
Dimensiuni 165 x 235 x 26

Categorii

Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Computing & Information Technology > Computer science > Computer architecture & logic design
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

The Winter Wives MacIntyre / Carte Carte broșată
common.buy 70.16 lei
Weaving Carpets - The History of the Manufacture and Machinery Clinton G. Gilroy / Carte Carte broșată
common.buy 135.62 lei
Hark to These Three Talk about Style T Sturge 1870-1944 Moore / Carte Copertă tare
common.buy 165.42 lei
Egret Ranch Andrew Gaeddert / Carte Carte broșată
common.buy 76.27 lei
Trafficking of Women in India Mondira Dutta / Carte Carte broșată
common.buy 165.19 lei
ESP8266 Internet of Things Cookbook MARCO SCHWARTZ / Carte Carte broșată
common.buy 202.28 lei
The Government of England. Volume 2 of 2 A Lawrence Lowell / Carte Carte broșată
common.buy 170.69 lei
Ketogenic Diet: The Ultimate guide for beginners Holly Barnes / Carte Carte broșată
common.buy 57.66 lei
Between the Ticks of the Watch Kevin Beasley / Carte Carte broșată
common.buy 175.11 lei
Employee Engagement for Organizational Change HODGES / Carte Copertă tare
common.buy 1 353.04 lei
The Hidden Life of Jesus: A Lesson and Model to Christians: Large Print Edition Henri-Marie Boudon / Carte Carte broșată
common.buy 108.91 lei
Rehoboth in the Past. an Historical Oration Delivered on the Fourth of July, 1860 SYLVANUS CHA NEWMAN / Carte Copertă tare
common.buy 253.72 lei
End of the Second Reconstruction Richard Johnson / Carte Carte broșată
common.buy 111.96 lei
The Spaewife: A Tale of the Scottish Chronicles, Volume 2 John Galt / Carte Carte broșată
common.buy 128.38 lei
Advanced Network Programming - Principles and Techniques Bogdan Ciubotaru / Carte Copertă tare
common.buy 288.38 lei
Raw Food/Real World Matthew Kenney / E-book Adobe ePub DRM
common.buy 68.81 lei
Scriptural Novena to the Holy Name of Our Lord Jesus Christ Marcus Grodi / E-book Adobe ePub DRM
common.buy 5.04 lei
Botanical Illustration Price Valerie Price / E-book Adobe ePub DRM
common.buy 134.59 lei
Breach of Contract Oliver Hofmann / E-book Adobe ePub DRM
common.buy 780.64 lei
Sumerian Tablets From Umma in the John Rylands Library, Manchester, Transcribed, Transliterated and Translated C L. 1879-1919 Bedale / Carte Carte broșată
common.buy 91.81 lei
The Philosophy of Bookkeeping George Radford / Carte Carte broșată
common.buy 81.08 lei
Ulysses, Dante, and Other Stories Elena Lombardi / Carte Carte broșată
common.buy 78.68 lei
MTEL Reading Specialist (62) Flashcard Study System / Joc / Jucărie Joc
common.buy 394.00 lei
The Synergistic Effect of Sustainable Business Practices on Corporate Performance Avichal Sharma / Carte Copertă tare
common.buy 1 034.38 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?