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 12.99 zł Punkt DPD 13.99 zł
phone Kontakt phoneJak kupować
Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.
Darmowa dostawa dla zamówień powyżej 299,00 zł.

Programming and Proof System ATES

Advanced Techniques Integration into Efficient Scientific Software

Język AngielskiAngielski
Książka Miękka
Książka Programming and Proof System ATES Armand Puccetti
Kod Libristo: 06623975
Wydawnictwo Springer, Berlin, lipiec 1991
This ESPRIT project integrates formal proof techniques and abstraction mechanisms within a common fr... Cały opis
? points 277 b
Gwarancja
najlepszej
ceny ▸
485.55 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

30 dni na zwrot towaru

Klienci kupili także

Relaxační hypnóza Martin Dlabal / Książka Miękka
common.buy 48.38 zł
Патогенная Лептоспира и Хоноре Хоуеменоу / Książka Miękka
common.buy 151.17 zł
Regensburg - Perle der Oberpfalz (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender Calvendo / Kalendarz/Pamiętnik Kalendarz
common.buy 142.64 zł
CAPITAN AMERICA DE MARK GRUENWALD 4 LA ESTRATEGIA SUPERIA RANDALL FRENZ / Książka Książka
common.buy 350.44 zł
Ravensburger CreArt - Malen nach Zahlen 23933 - Disney Stitch - ab 12 Jahren / Gra/Zabawka Gra
common.buy 115.43 zł
Balance between poets Zaki Mubarak / E-book Adobe ePub DRM
common.buy 56.10 zł
Apotheose der Grundlosigkeit und andere Texte Leo Schestow / Książka Twarda
common.buy 145.95 zł
Choisir l'abondance - Guide de la prospérité Line Bolduc / Książka Miękka
common.buy 116.54 zł
Smrť v jazere Richard Austin Freeman / Książka Twarda
common.buy 44.46 zł
Contribution A l'Etude Des Retentions d'Urine Chez La Femme BARBIN-A / Książka Miękka
common.buy 65.84 zł
Experimentos de química clásica Lister / Książka Miękka
common.buy 275.45 zł
Die Vernunftlehre Als Eine Anweisung Zum Richtigen Gebrauche Der Vernunft In Dem Erkenntniss Der Wahrheit ...... Hermann Samuel Reimarus / Książka Miękka
common.buy 119.15 zł
Zapowiedź
Romantica Clock. Bd.7 Yoko Maki / Książka Miękka
common.buy 31.01 zł
St. Aldegundis in Emmerich am Rhein Deutscher Kunstverlag / Książka Miękka
common.buy 17.56 zł
Wie Musik für die Augen zum Lesen Marcellus M. Menke / Książka Twarda
common.buy 113.53 zł

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.

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 Programming and Proof System ATES
Autor Armand Puccetti
Język Angielski
Oprawa Książka - Miękka
Data wydania 1991
Liczba stron 352
EAN 9783540541882
ISBN 9783540541882
Kod Libristo 06623975
Wydawnictwo Springer, Berlin
Waga 607
Wymiary 170 x 244 x 18

Kategoria

Matematyka i nauki ścisłe > Matematyka > Rachunek różniczkowy i całkowy, analiza matematyczna > Analiza numeryczna
Technika, inżynieria i rolnictwo, procesy przemysłowe > Inżynieria transportu > Inżynieria transportu samochodowego > Umiejętności fachowe w transporcie samochodowym
Technika, inżynieria i rolnictwo, procesy przemysłowe > Technika – zagadnienia ogólne > Matematyka dla inżynierów
Technika, inżynieria i rolnictwo, procesy przemysłowe > Energetyka i inżynieria energetyczna > Alternatywne i odnawialne źródła energii i ich technologie
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania
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ć

Poems, Letters, And Memories Of Philip Sidney Nairn (1916) Philip Sidney Nairn / Książka Twarda
common.buy 174.16 zł
Wow! Look What Birds Can Do Camilla De La Bedoyere / Książka Twarda
common.buy 56.41 zł
Operating Manual Bikash Poudel / Książka Miękka
common.buy 188.71 zł
Twenty-Two Goblins RYDER / Książka Twarda
common.buy 85.02 zł
Winter Wonderland HEIDI CULLINAN / Książka Miękka
common.buy 60.62 zł
Poetical Works of Robert Southey, Esq; VOL. XII ROBERT SOUTHEY / Książka Miękka
common.buy 90.04 zł
Translating the Bhagavadgita: A Workbook for Sanskrit Students Les Morgan / Książka Miękka
common.buy 48.38 zł
Ready For Takeoff - Stories from an Air Force Pilot David Dale / Książka Twarda
common.buy 138.62 zł
The Girl Behind The Wall Ashley Antoinette / Książka Miękka
common.buy 66.75 zł
Manifesto of the Communist Party Friedrich Engels / Książka Miękka
common.buy 36.23 zł
Psalms to Inspire DAVID SPIETZ / Książka Miękka
common.buy 72.17 zł
Significance of Diaspora Politics in the Visual Arts Les Morgan / Książka Miękka
common.buy 261.39 zł
Burnout and Job Satisfaction among Rural and Urban Social Workers Paul MacKie / Książka Miękka
common.buy 300.54 zł
Zapowiedź
Divergence Theorem and Sets of Finite Perimeter Washek F. Pfeffer / Książka Twarda
common.buy 1 122.50 zł
Bucking the Railroads on the Kansas Frontier John N. Mack / Książka Miękka
common.buy 198.55 zł
History of Modern India Ishita Banerjee-Dube / Książka Miękka
common.buy 191.12 zł
Pocket Guide to Legal Ethics Angela Schneeman / Książka Pierścieniowa
common.buy 182.79 zł
Adult Jigsaw Puzzle Beryl Cook: Date Night Flame Tree Studio / Książka Twarda
common.buy 65.14 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