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
Scalable Techniques for Formal Verification
Jazyk
Angličtina
Angličtina
Kniha
Brožovaná
This book presents the latest approaches to formal verification techniques to seamlessly integrate d...
Celý popis
Libristo kód: 09062296
?
331 b
331 b
131.62
€
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 book presents the latest approaches to formal verification techniques to seamlessly integrate different formal verification methods within a single logical foundation. It outlines theoretical and practical issues and includes a range of case studies.
Informácie o knihe
Celý názov
Scalable Techniques for Formal Verification
Autor
SANDIP RAY
Jazyk
Angličtina
Angličtina
Väzba
Kniha - Brožovaná
Dátum vydania
2014
Počet strán
243
EAN
9781489984449
ISBN
9781489984449
Libristo kód
09062296
Nakladateľstvo
Springer-Verlag New York Inc.
Váha
403
Rozmery
155 x 235 x 15
