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
GLS futár 1 590 Ft
Packeta 990 Ft
GLS pont 1 390 Ft
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
GLS futár 1 590 Ft
Packeta 990 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?
+36 1 6333 184
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
Verification of Sequential and Concurrent Programs
Nyelv
Angol
Angol
Könyv
Puha kötésű
This book explores one of the most common approaches to program verification, known as the assertion...
Teljes leírás
Libristo kód: 08577018
?
272 b
272 b
42 806
Ft
Beszállítói készleten alacsony példányszámban
Küldés 12-17 napon belül
30 nap a termék visszaküldésére
Ezt is ajánljuk
This book explores one of the most common approaches to program verification, known as the assertional approach. Case studies supplied throughout the book demonstrate the use of the proof systems and formally verify solutions to classical problems.
Információ a könyvről
Teljes megnevezés
Verification of Sequential and Concurrent Programs
Szerző
Ernst-Rudiger Olderog
Nyelv
Angol
Angol
Kötés
Könyv - Puha kötésű
Kiadás éve
2012
Oldalszám
502
EAN
9781447125136
ISBN
9781447125136
Libristo kód
08577018
Kiadó
Springer London Ltd
Súly
746
Méretek
156 x 235 x 28
