Sprawdzić stan zamówienia
LIBRISTO
LIBROAMANTO
obowiązkowe
Zapomniane hasło
Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie
0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost Kurier 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Correctness-by-Construction Approach to Programming

Język AngielskiAngielski
Książka Twarda
Książka Correctness-by-Construction Approach to Programming Derrick G. Kourie
Kod Libristo: 01660456
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, kwiecień 2012
Focusing on ways to bridge the gap between formal and more intuitive software programming, this care... Cały opis
? points 249 b
439.67 zł
Dostępna u dostawcy Wysyłamy za 10-13 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Sáček textil béžový 25x39cm mix / Książka binding.
common.buy 14.95 zł
J'aime collegium / Książka Miękka
common.buy 50.22 zł
Wärmeinduzierte Wechselwirkungen zwischen Kasein, Molkeproteinen und Lecithinen Mamdouh El-Bakry / Książka Miękka
common.buy 144.63 zł
Tetris – hra, ktorá zmenila dejiny Box Brown / Książka Miękka
common.buy 78.02 zł
Kosmokluk David Walliams / Książka Miękka
common.buy 61.04 zł
Supersensible Impulses P. King / Książka Miękka
common.buy 98.74 zł
SAN ANTONIO T3 TITRE A PRECISER Sanlaville / Książka Twarda
common.buy 83.48 zł
Tanie
Good Boy - Jófiú Elle Kennedy / Książka Twarda
common.buy 31.93 zł
Puedo Mirar Tu Regalo Guido van Genechten / Książka Twarda
common.buy 61.95 zł
ENGLISH PRONUNCIATION AA. VV / Książka Miękka
common.buy 109.05 zł
Guérir par l'énergie, la méditation et la thérapie VORGER / Książka Miękka
common.buy 48.51 zł
Dictionnaire des oeuvres érotiques COLLECTIFS MERC / Książka Twarda
common.buy 160.90 zł
Das Verhältnis Des Neugriechischen Zu Den Romanischen Sprachen: Eine Sprachvergleichende Betrachtun Hans Muller / Książka Twarda
common.buy 141.09 zł
Arabesky Jan Neruda / Książka Twarda
common.buy 32.94 zł
Introducción al Derecho de la Seguridad Social Santiago González Ortega / Książka Miękka
common.buy 158.27 zł
La negociación del convenio colectivo estatutario Francisco Ramón Lacomba Pérez / Książka Miękka
common.buy 84.69 zł
111 Gründe, Atlético Madrid zu lieben André Kahle / Książka Miękka
common.buy 57.91 zł
Histoire de Sainte Monique 5e Edition Bougaud-L-E / Książka Miękka
common.buy 171.31 zł
AutoCAD 2008, paso a paso Rafael Ábalos Bergillos / Książka Miękka
common.buy 126.13 zł
Histoire de La R'Volution Russe. La R'Volution D'Octobre T2 L'On Trotsky / Książka Miękka
common.buy 56.79 zł
Die Vorsokratischen Philosophen Geoffrey S. Kirk / Książka Miękka
common.buy 101.47 zł

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.

Aktorka & Poliglotka
EWA KASP dla
Odtworzyć wideo
Ewa Kasp
Libristo ma największy wybór literatury obcojęzycznej. Dlatego tutaj kupuję swoje książki.

Informacje o książce

Pełna nazwa Correctness-by-Construction Approach to Programming
Autor Derrick G. Kourie, Bruce W. Watson
Język Angielski
Oprawa Książka - Twarda
Data wydania 2012
Liczba stron 266
EAN 9783642279188
ISBN 364227918X
Kod Libristo 01660456
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 556
Wymiary 165 x 235 x 26

Kategoria

Matematyka i nauki ścisłe > Matematyka > Podstawy matematyki > Logika matematyczna
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Mogłoby Cię także zainteresować

Advanced Network Programming - Principles and Techniques Bogdan Ciubotaru / Książka Twarda
common.buy 220.54 zł
The Spaewife: A Tale of the Scottish Chronicles, Volume 2 John Galt / Książka Miękka
common.buy 98.64 zł
The Hidden Life of Jesus: A Lesson and Model to Christians: Large Print Edition Henri-Marie Boudon / Książka Miękka
common.buy 83.48 zł
Between the Ticks of the Watch Kevin Beasley / Książka Miękka
common.buy 133.51 zł
The Winter Wives MacIntyre / Książka Miękka
common.buy 55.38 zł
Ketogenic Diet: The Ultimate guide for beginners Holly Barnes / Książka Miękka
common.buy 44.06 zł
The Government of England. Volume 2 of 2 A Lawrence Lowell / Książka Miękka
common.buy 131.09 zł
Raw Food/Real World Matthew Kenney / E-book Adobe ePub DRM
common.buy 57.20 zł
ESP8266 Internet of Things Cookbook MARCO SCHWARTZ / Książka Miękka
common.buy 155.44 zł
Egret Ranch Andrew Gaeddert / Książka Miękka
common.buy 58.61 zł
Hark to These Three Talk about Style T Sturge 1870-1944 Moore / Książka Twarda
common.buy 127.04 zł
Nowość
Paul the Rabbi Philosopher: Stoic and Jewish Philosophy in the Apostle's Thought DODSON JOSEPH R / Książka Miękka
common.buy 98.64 zł
Weaving Carpets - The History of the Manufacture and Machinery Clinton G. Gilroy / Książka Miękka
common.buy 113.30 zł
Elizabeth Bishop Robert Giroux / Książka Twarda
common.buy 145.74 zł
Your Child at Play Marilyn Segal / Książka Miękka
common.buy 100.56 zł
History of Umuchu S. A. Nnolim / Książka Miękka
common.buy 72.66 zł
Normativity and Phenomenology in Husserl and Heidegger Steven Crowell / Książka Twarda
common.buy 459.38 zł
Modern Cosmology Scott Dodelson / Książka Twarda
common.buy 479.50 zł
TOP
Origins of the Second World War A J P Taylor / Książka Miękka
common.buy 59.42 zł
Collected Poems David Constantine / Książka Miękka
common.buy 80.04 zł
Game Theory in the Social Sciences Lambertini / Książka Miękka
common.buy 471.21 zł
Charting Transformation through Security Toni Haastrup / Książka Twarda
common.buy 250.15 zł
Food Contaminants and Residue Analysis Yolanda Pico / Książka Twarda
common.buy 1 314.08 zł
Self-Giving God and Salvation History Matthew L. Becker / Książka Miękka
common.buy 413.69 zł

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo
Doradca książkowy Libroamiko
Cześć, jestem Libroamiko, w czym mogę pomóc?