Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Correctness-by-Construction Approach to Programming

Jazyk AngličtinaAngličtina
Kniha Pevná
Kniha Correctness-by-Construction Approach to Programming Derrick G. Kourie
Libristo kód: 01660456
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, duben 2012
Focusing on ways to bridge the gap between formal and more intuitive software programming, this care... Celý popis
? points 236 b
2 357 Kč
Skladem u dodavatele Odesíláme za 10-13 dnů

Až 30 dní na vrácení zboží

Zákazníci také koupili

Sáček textil béžový 25x39cm mix / Kniha binding.
common.buy 102 Kč
J'aime collegium / Kniha Brožovaná
common.buy 356 Kč
Wärmeinduzierte Wechselwirkungen zwischen Kasein, Molkeproteinen und Lecithinen Mamdouh El-Bakry / Kniha Brožovaná
common.buy 772 Kč
Tetris – hra, ktorá zmenila dejiny Box Brown / Kniha Brožovaná
common.buy 377 Kč
Kosmokluk David Walliams / Kniha Brožovaná
common.buy 314 Kč
Supersensible Impulses P. King / Kniha Brožovaná
common.buy 525 Kč
SAN ANTONIO T3 TITRE A PRECISER Sanlaville / Kniha Pevná
common.buy 472 Kč
Levně
Good Boy - Jófiú Elle Kennedy / Kniha Pevná
common.buy 181 Kč
Puedo Mirar Tu Regalo Guido van Genechten / Kniha Pevná
common.buy 351 Kč
ENGLISH PRONUNCIATION AA. VV / Kniha Brožovaná
common.buy 584 Kč
Guérir par l'énergie, la méditation et la thérapie VORGER / Kniha Brožovaná
common.buy 273 Kč
Dictionnaire des oeuvres érotiques COLLECTIFS MERC / Kniha Pevná
common.buy 910 Kč
Das Verhältnis Des Neugriechischen Zu Den Romanischen Sprachen: Eine Sprachvergleichende Betrachtun Hans Muller / Kniha Pevná
common.buy 763 Kč
Arabesky Jan Neruda / Kniha Pevná
common.buy 165 Kč
Introducción al Derecho de la Seguridad Social Santiago González Ortega / Kniha Brožovaná
common.buy 898 Kč
La negociación del convenio colectivo estatutario Francisco Ramón Lacomba Pérez / Kniha Brožovaná
common.buy 482 Kč
111 Gründe, Atlético Madrid zu lieben André Kahle / Kniha Brožovaná
common.buy 309 Kč
Histoire de Sainte Monique 5e Edition Bougaud-L-E / Kniha Brožovaná
common.buy 926 Kč
AutoCAD 2008, paso a paso Rafael Ábalos Bergillos / Kniha Brožovaná
common.buy 716 Kč
Histoire de La R'Volution Russe. La R'Volution D'Octobre T2 L'On Trotsky / Kniha Brožovaná
common.buy 321 Kč
Die Vorsokratischen Philosophen Geoffrey S. Kirk / Kniha Brožovaná
common.buy 543 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Correctness-by-Construction Approach to Programming
Autor Derrick G. Kourie, Bruce W. Watson
Jazyk Angličtina
Vazba Kniha - Pevná
Datum vydání 2012
Počet stran 266
EAN 9783642279188
ISBN 364227918X
Libristo kód 01660456
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 556
Rozměry 165 x 235 x 26

Kategorie

Matematika a věda > Matematika > Matematické základy > Matematická logika
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Mohlo by vás také zajímat

Advanced Network Programming - Principles and Techniques Bogdan Ciubotaru / Kniha Pevná
common.buy 1 182 Kč
The Spaewife: A Tale of the Scottish Chronicles, Volume 2 John Galt / Kniha Brožovaná
common.buy 532 Kč
The Hidden Life of Jesus: A Lesson and Model to Christians: Large Print Edition Henri-Marie Boudon / Kniha Brožovaná
common.buy 449 Kč
Between the Ticks of the Watch Kevin Beasley / Kniha Brožovaná
common.buy 715 Kč
The Winter Wives MacIntyre / Kniha Brožovaná
common.buy 294 Kč
Ketogenic Diet: The Ultimate guide for beginners Holly Barnes / Kniha Brožovaná
common.buy 237 Kč
The Government of England. Volume 2 of 2 A Lawrence Lowell / Kniha Brožovaná
common.buy 707 Kč
Raw Food/Real World Matthew Kenney / E-kniha Adobe ePub DRM
common.buy 324 Kč
ESP8266 Internet of Things Cookbook MARCO SCHWARTZ / Kniha Brožovaná
common.buy 838 Kč
Egret Ranch Andrew Gaeddert / Kniha Brožovaná
common.buy 316 Kč
Hark to These Three Talk about Style T Sturge 1870-1944 Moore / Kniha Pevná
common.buy 685 Kč
Nové
Paul the Rabbi Philosopher: Stoic and Jewish Philosophy in the Apostle's Thought DODSON JOSEPH R / Kniha Brožovaná
common.buy 524 Kč
Weaving Carpets - The History of the Manufacture and Machinery Clinton G. Gilroy / Kniha Brožovaná
common.buy 642 Kč
Elizabeth Bishop Robert Giroux / Kniha Pevná
common.buy 757 Kč
Your Child at Play Marilyn Segal / Kniha Brožovaná
common.buy 537 Kč
History of Umuchu S. A. Nnolim / Kniha Brožovaná
common.buy 392 Kč
Normativity and Phenomenology in Husserl and Heidegger Steven Crowell / Kniha Pevná
common.buy 2 483 Kč
Modern Cosmology Scott Dodelson / Kniha Pevná
common.buy 2 608 Kč
Top
Origins of the Second World War A J P Taylor / Kniha Brožovaná
common.buy 293 Kč
Collected Poems David Constantine / Kniha Brožovaná
common.buy 425 Kč
Game Theory in the Social Sciences Lambertini / Kniha Brožovaná
common.buy 2 537 Kč
Charting Transformation through Security Toni Haastrup / Kniha Pevná
common.buy 1 350 Kč
Food Contaminants and Residue Analysis Yolanda Pico / Kniha Pevná
common.buy 7 466 Kč
Self-Giving God and Salvation History Matthew L. Becker / Kniha Brožovaná
common.buy 2 345 Kč

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?