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č Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Zásilkovna 39 Kč Výdejní místo DPD 49 Kč PPL shop 49 Kč Balíkovna 49 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

Puedo Mirar Tu Regalo Guido van Genechten / Kniha Pevná
common.buy 352 Kč
Na Zemi jsme na okamžik nádherní Františka Schormová / Kniha Pevná
common.buy 264 Kč
Sáček textil béžový 25x39cm mix / Kniha binding.
common.buy 103 Kč
Top
J'aime niveau 3 cahier d'exercices Adrien Payet / Kniha Brožovaná
common.buy 310 Kč
Tetris – hra, ktorá zmenila dejiny Box Brown / Kniha Brožovaná
common.buy 376 Kč
Levně
Good Boy - Jófiú Elle Kennedy / Kniha Pevná
common.buy 172 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 466 Kč
Introducción al Derecho de la Seguridad Social Santiago González Ortega / Kniha Brožovaná
common.buy 899 Kč
Die Vorsokratischen Philosophen Geoffrey S. Kirk / Kniha Brožovaná
common.buy 543 Kč
Las voces bajas Manuel Rivas / Kniha Brožovaná
common.buy 597 Kč
Histoire de La R'Volution Russe. La R'Volution D'Octobre T2 L'On Trotsky / Kniha Brožovaná
common.buy 315 Kč
AutoCAD 2008, paso a paso Rafael Ábalos Bergillos / Kniha Brožovaná
common.buy 718 Kč
Histoire de Sainte Monique 5e Edition Bougaud-L-E / Kniha Brožovaná
common.buy 926 Kč
111 Gründe, Atlético Madrid zu lieben André Kahle / Kniha Brožovaná
common.buy 309 Kč
La negociación del convenio colectivo estatutario Francisco Ramón Lacomba Pérez / Kniha Brožovaná
common.buy 483 Kč
Arabesky Jan Neruda / Kniha Pevná
common.buy 182 Kč
Fünf Bücher deutscher Lieder und Gedichte Gustav Schwab / Kniha Brožovaná
common.buy 813 Kč
Dictionnaire des oeuvres érotiques COLLECTIFS MERC / Kniha Pevná
common.buy 905 Kč
Guérir par l'énergie, la méditation et la thérapie VORGER / Kniha Brožovaná
common.buy 267 Kč
ENGLISH PRONUNCIATION AA. VV / Kniha Brožovaná
common.buy 618 Kč
Wärmeinduzierte Wechselwirkungen zwischen Kasein, Molkeproteinen und Lecithinen Mamdouh El-Bakry / Kniha Brožovaná
common.buy 772 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

The Government of England. Volume 2 of 2 A Lawrence Lowell / Kniha Brožovaná
common.buy 707 Kč
Your Child at Play Marilyn Segal / Kniha Brožovaná
common.buy 537 Kč
Elizabeth Bishop Robert Giroux / Kniha Pevná
common.buy 757 Kč
Weaving Carpets - The History of the Manufacture and Machinery Clinton G. Gilroy / Kniha Brožovaná
common.buy 642 Kč
Paul the Rabbi Philosopher: Stoic and Jewish Philosophy in the Apostle's Thought DODSON JOSEPH R / Kniha Brožovaná
common.buy 524 Kč
Hark to These Three Talk about Style T Sturge 1870-1944 Moore / Kniha Pevná
common.buy 685 Kč
Egret Ranch Andrew Gaeddert / Kniha Brožovaná
common.buy 316 Kč
MTEL Reading Specialist (62) Flashcard Study System / Hra/Hračka Hra
common.buy 1 642 Kč
ESP8266 Internet of Things Cookbook MARCO SCHWARTZ / Kniha Brožovaná
common.buy 838 Kč
The Philosophy of Bookkeeping George Radford / Kniha Brožovaná
common.buy 336 Kč
Advanced Network Programming - Principles and Techniques Bogdan Ciubotaru / Kniha Pevná
common.buy 1 182 Kč
Ketogenic Diet: The Ultimate guide for beginners Holly Barnes / Kniha Brožovaná
common.buy 237 Kč
Between the Ticks of the Watch Kevin Beasley / Kniha Brožovaná
common.buy 608 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č
Rehoboth in the Past. an Historical Oration Delivered on the Fourth of July, 1860 SYLVANUS CHA NEWMAN / Kniha Pevná
common.buy 1 036 Kč
Breach of Contract Oliver Hofmann / E-kniha Adobe ePub DRM
common.buy 3 578 Kč
Botanical Illustration Price Valerie Price / E-kniha Adobe ePub DRM
common.buy 616 Kč
The Spaewife: A Tale of the Scottish Chronicles, Volume 2 John Galt / Kniha Brožovaná
common.buy 532 Kč
Raw Food/Real World Matthew Kenney / E-kniha Adobe ePub DRM
common.buy 310 Kč
The Winter Wives MacIntyre / Kniha Brožovaná
common.buy 292 Kč
Routledge Handbook of the Economics of Climate Change Adaptation Anil Markandya / Kniha Brožovaná
common.buy 2 482 Kč
Charting Transformation through Security Toni Haastrup / Kniha Pevná
common.buy 1 349 Kč
The Queerly Autistic Workbook Victoria Barron / Kniha Brožovaná
common.buy 358 Kč
Normativity and Phenomenology in Husserl and Heidegger Steven Crowell / Kniha Pevná
common.buy 2 483 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?