Ingyenes szállítás a Packetával, 59.99 € feletti vásárlás esetén

Szlovák posta 4.49 € SPS futárszolgálat 4.99 € GLS futár 3.99 € GLS pont 2.99 € Packeta futárszolgálat 4.99 € Packeta pont 2.99 €

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: 61.56 EUR
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

61.56 €

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

Nome in Codice "nefthe" Gero Marino

/ Puha kötésű

15.56 €

Fire and the Full Moon David Webster

/ Puha kötésű

39.72 €

Fifth Assassin Brad Meltzer

/ Puha kötésű

10.61 €

Anacondas Imogen Kingsley

/ Kemény kötésű

34.36 €

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ó