Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

InPost 13.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł DPD 25.99 zł ORLEN Paczka 10.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Programming and Proof System ATES

Name: Programming and Proof System ATES
Brand: Springer, Berlin
SKU: 06623975
Price: 517.77 PLN
Availability: InStock

Armand Puccetti

Język

Angielski

Książka Miękka

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

Kod Libristo: 06623975

304 b

517.77 zł

Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

common.delivery_to

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Divergence Theorem and Sets of Finite Perimeter Washek F. Pfeffer

/ Twarda

1 040.04 zł

Investment Policy Review United Nations: Conference on Trade and Development

/ Miękka

111.13 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.

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