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

Kapcsolat

Hogyan vásároljunk

Segítség

Saját fiók

▸ Üres :-(

Leveraging Applications of Formal Methods

Name: Leveraging Applications of Formal Methods
Brand: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
SKU: 01565012
Price: 24397 HUF
Availability: InStock

Tiziana Maragria

Bernhard Steffen

Nyelv

Angol

Könyv Puha kötésű

Libristo kód: 01565012

Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, november 2006

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium... Teljes leírás

Libristo kód: 01565012

154 b

24 397 Ft

Beszállítói készleten alacsony példányszámban Küldés 10-15 napon belül

30 nap a termék visszaküldésére

Ezt is ajánljuk

Nome in Codice "nefthe" Gero Marino

/ Puha kötésű

6 772 Ft

Anacondas Imogen Kingsley

/ Kemény kötésű

13 386 Ft

Fire and the Full Moon David Webster

/ Puha kötésű

15 792 Ft

Fifth Assassin Brad Meltzer

/ Puha kötésű

4 209 Ft

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004.§The 12 revised full papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems.

Információ a könyvről

Teljes megnevezés Leveraging Applications of Formal Methods

Szerző Tiziana Maragria, Bernhard Steffen

Nyelv

Angol

Kötés Könyv - Puha kötésű

Kiadás éve 2006

Oldalszám 197

EAN 9783540489283

ISBN 3540489282

Libristo kód 01565012

Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG

Súly 338

Méretek 155 x 235 x 12

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia > Szakértői rendszerek / tudás alapú rendszerek

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Fordítóprogramok és értelmezőprogramok (compilers & interpreters)

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Programozási és szoftveres nyelvek: általános jellegű

Számítástechnika és információtechnológia > Számítógépes programozás / szoftvermérnöki tudomány > Szoftvermérnöki tudomány

Számítástechnika és információtechnológia > Számítógéptudomány > Számítógépes építészet és logika tervezés

Számítástechnika és információtechnológia > Operációs rendszerek

Ajándékozza oda ezt a könyvet még ma

Nagyon egyszerű

1 Tegye a kosárba könyvet, és válassza ki a kiszállítás ajándékként opciót 2 Rögtön küldjük Önnek az utalványt 3 A könyv megérkezik a megajándékozott címére

Kézbesítés

Vásárlási tanácsadó