Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 €
SPS 4.99 €
Kuriér GLS 3.99 €
Zberné miesto GLS 2.99 €
Packeta kurýr 4.99 €
Packeta 2.99 €
SPS Parcel Shop 2.99 €
Ako nakupovať
Pomoc
Doručenie
Pošta 4.49 €
SPS 4.99 €
Kuriér GLS 3.99 €
Zberné miesto GLS 2.99 €
Packeta kurýr 4.99 €
Packeta 2.99 €
SPS Parcel Shop 2.99 €
Doprava zadarmo s Packetou nad 59.99 €
Nákupný poradca
Sme tu pre Vás!
02/210 210 99
Môj účet
Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod.
Založiť účet zdarma
▸
Prázdny :-(
0
Programming and Proof System ATES
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This ESPRIT project integrates formal proof techniques and abstraction mechanisms within a common fr...
Celý popis
Libristo kód: 06623975
?
304 b
304 b
120.90
€
Skladom u dodávateľa v malom množstve
Odosielame za 13-16 dní
30 dní na vrátenie tovaru
Mohlo by vás tiež zaujímať
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.
Informácie o knihe
Celý názov
Programming and Proof System ATES
Autor
Armand Puccetti
Jazyk
Angličtina
Angličtina
Väzba
Kniha - Brožovaná
Dátum vydania
1991
Počet strán
352
EAN
9783540541882
ISBN
9783540541882
Libristo kód
06623975
Nakladateľstvo
Springer, Berlin
Váha
607
Rozmery
170 x 244 x 18
Kategórie
Matematika a veda
>
Matematika
>
Diferenciálny a integrálny počet a matematická analýza
>
Numerická analýza
Technológie, strojárstvo, poľnohospodárstvo
>
Dopravné technológie a profesie v dopravných technológiách
>
Automobilová technika a technológia a profesie
>
Zručnosti automechanikov
Technológie, strojárstvo, poľnohospodárstvo
>
Technológie: všeobecné témy
>
Matematika pre technikov
Technológie, strojárstvo, poľnohospodárstvo
>
Energetické technológie a inžinierstvo
>
Alternatívne a obnoviteľné zdroje energie a technológie
