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 11.99 zł
phone Kontakt phoneJak kupować
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 ▸
492.74 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-18 dni

Nawet do 30 dni na zwrot

Klienci kupili także

Apotheose der Grundlosigkeit und andere Texte Leo Schestow / Książka Twarda
common.buy 148.26 zł
Regensburg - Perle der Oberpfalz (Wandkalender 2026 DIN A3 hoch), CALVENDO Monatskalender Calvendo / Kalendarz/Pamiętnik Kalendarz
common.buy 144.90 zł
Balance between poets Zaki Mubarak / E-book Adobe ePub DRM
common.buy 56.79 zł
Messages of sorrows: in the philosophy of beauty and love Mustafa Sadiq Al -Rafii / E-book Adobe ePub DRM
common.buy 56.79 zł
Ravensburger CreArt - Malen nach Zahlen 23933 - Disney Stitch - ab 12 Jahren / Gra/Zabawka Gra
common.buy 117.26 zł
CAPITAN AMERICA DE MARK GRUENWALD 4 LA ESTRATEGIA SUPERIA RANDALL FRENZ / Książka Książka
common.buy 355.68 zł
Relaxační hypnóza Martin Dlabal / Książka Miękka
common.buy 49.14 zł
Патогенная Лептоспира и Хоноре Хоуеменоу / Książka Miękka
common.buy 153.57 zł
Choisir l'abondance - Guide de la prospérité Line Bolduc / Książka Miękka
common.buy 117.26 zł
Smrť v jazere Richard Austin Freeman / Książka Twarda
common.buy 45.17 zł
Contribution A l'Etude Des Retentions d'Urine Chez La Femme BARBIN-A / Książka Miękka
common.buy 66.89 zł
piano Reina María Rodríguez / Książka Miękka
common.buy 85.65 zł
Experimentos de química clásica Lister / Książka Miękka
common.buy 279.10 zł
Zapowiedź
Romantica Clock. Bd.7 Yoko Maki / Książka Miękka
common.buy 31.50 zł
St. Aldegundis in Emmerich am Rhein Deutscher Kunstverlag / Książka Miękka
common.buy 17.63 zł
Wie Musik für die Augen zum Lesen Marcellus M. Menke / Książka Twarda
common.buy 115.32 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ć

Getting Back to Oz Book 2: Dorothy's Wisdom Jess Reece / Książka Miękka
common.buy 71.68 zł
Poetical Works of Robert Southey, Esq; VOL. XII ROBERT SOUTHEY / Książka Miękka
common.buy 91.46 zł
Mrs. Pendleton's Four-In-Hand Gertrude Franklin Horn Atherton / Książka Miękka
common.buy 103.60 zł
Winter Wonderland HEIDI CULLINAN / Książka Miękka
common.buy 61.58 zł
Twenty-Two Goblins RYDER / Książka Twarda
common.buy 86.36 zł
Operating Manual Bikash Poudel / Książka Miękka
common.buy 191.70 zł
Wow! Look What Birds Can Do Camilla De La Bedoyere / Książka Twarda
common.buy 57.10 zł
Ready For Takeoff - Stories from an Air Force Pilot David Dale / Książka Twarda
common.buy 140.82 zł
Translating the Bhagavadgita: A Workbook for Sanskrit Students Les Morgan / Książka Miękka
common.buy 49.14 zł
Manifesto of the Communist Party Friedrich Engels / Książka Miękka
common.buy 36.80 zł
Poems, Letters, And Memories Of Philip Sidney Nairn (1916) Philip Sidney Nairn / Książka Twarda
common.buy 176.92 zł
No 40 Year Journey Brandi Rojas / Książka Miękka
common.buy 71.58 zł
Richest Man In Babylon & Think and Grow Rich Napoleon Hill / Książka Miękka
common.buy 55.67 zł
Advances in Simulation, Product Design and Development M. S. Shunmugam / Książka Miękka
common.buy 1 328.23 zł
The Girl Behind The Wall Ashley Antoinette / Książka Miękka
common.buy 67.80 zł
Pocket Guide to Legal Ethics Angela Schneeman / Książka Pierścieniowa
common.buy 185.69 zł
The Life and Letters of Edward Gibbon, With his History of the Crusades Edward Gibbon / Książka Miękka
common.buy 119.91 zł
History of Modern India Ishita Banerjee-Dube / Książka Miękka
common.buy 194.15 zł
Psalms to Inspire DAVID SPIETZ / Książka Miękka
common.buy 73.31 zł
Bucking the Railroads on the Kansas Frontier John N. Mack / Książka Miękka
common.buy 201.70 zł
Significance of Diaspora Politics in the Visual Arts Les Morgan / Książka Miękka
common.buy 265.53 zł
Burnout and Job Satisfaction among Rural and Urban Social Workers Paul MacKie / Książka Miękka
common.buy 305.31 zł
Zapowiedź
Divergence Theorem and Sets of Finite Perimeter Washek F. Pfeffer / Książka Twarda
common.buy 1 260.00 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?