[email protected]
24 órán belül válaszolunk
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Posta 1 795 Ft
DPD 1 995 Ft
PostaPont / Csomagautomata 1 690 Ft
Postán 1 690 Ft
Packeta 990 Ft
GLS futár 1 590 Ft
GLS pont 1 390 Ft
Kapcsolat
Hogyan vásároljunk
Segítség
Kézbesítés
Posta 1 795 Ft
DPD 1 995 Ft
PostaPont / Csomagautomata 1 690 Ft
Postán 1 690 Ft
Packeta 990 Ft
GLS futár 1 590 Ft
GLS pont 1 390 Ft
Ingyenes szállítás a Packetával, 19 990 Ft feletti vásárlás esetén
Vásárlási tanácsadó
Segíthetünk?
[email protected]
Saját fiók
Legyen része a világ minden tájáról összegyűlt könyvbarátok közösségének és élvezze a rengeteg előnyt.
Ingyenes fiók létrehozása
▸
Üres :-(
0
Programming and Proof System ATES
Nyelv
Angol
Angol
Könyv
Puha kötésű
This ESPRIT project integrates formal proof techniques and abstraction mechanisms within a common fr...
Teljes leírás
Libristo kód: 06623975
?
304 b
304 b
47 761
Ft
Beszállítói készleten alacsony példányszámban
Küldés 13-16 napon belül
30 nap a termék visszaküldésére
Ezt is ajánljuk
/
Puha kötésű
10 707
Ft
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áció a könyvről
Teljes megnevezés
Programming and Proof System ATES
Szerző
Armand Puccetti
Nyelv
Angol
Angol
Kötés
Könyv - Puha kötésű
Kiadás éve
1991
Oldalszám
352
EAN
9783540541882
ISBN
9783540541882
Libristo kód
06623975
Kiadó
Springer, Berlin
Súly
607
Méretek
170 x 244 x 18
Kategória
Matematika és természettudomány
>
Matematika
>
Kalkulus és matematikai analízis
>
Numerikus analízis
Technológia, mérnöki tudományok, mezőgazdaság
>
Szállítástechnológia és szakmák
>
Automotív technológia és szakmák
>
Automotív (motorszerelői) készségek
Technológia, mérnöki tudományok, mezőgazdaság
>
Technológia: általános kérdések
>
Matematika mérnököknek
Technológia, mérnöki tudományok, mezőgazdaság
>
Energiatechnológia és energiagépészet
>
Alternatív és megújuló energiaforrások és technológia
