[email protected]
LIBRISTO 0
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
phone Kapcsolat phoneHogyan vásároljunk

Integrated Formal Methods

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Integrated Formal Methods Eerke A. Boiten
Libristo kód: 01559229
Kiadó Springer, Berlin, november 2003
This book constitutes the refereed proceedings of the 4th International Conference on Integrated For... Teljes leírás
? points 154 b
24 218 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

kiárusítás
Methodology of Science Petra Key / Puha kötésű
common.buy 2 124 Ft
Color Atlas of Thyroid Surgery Youn / Kemény kötésű
common.buy 61 659 Ft
Classic Tales Second Edition: Level 1: Peach Boy Sue Arengo / Puha kötésű
common.buy 4 858 Ft
Replacement of Renal Function by Dialysis C. Jacobs / Kemény kötésű
common.buy 47 746 Ft
Advances in Microwave and Radio Frequency Processing M. Willert-Porada / Kemény kötésű
common.buy 141 958 Ft
Totschlager Emil (Ü: Franz Blei) Zola / Puha kötésű
common.buy 16 607 Ft
New York Yankees Matt Christopher / Puha kötésű
common.buy 5 442 Ft

This book constitutes the refereed proceedings of the 4th International Conference on Integrated Formal Methods, IFM 2004, held in Canterbury, UK, in April 2004.The 24 revised full papers presented together with 3 invited papers and one invited tutorial chapter were carefully reviewed and selected from 65 submissions. The papers are devoted to automating program analysis, state/event-based verification, formalizing graphical notions, refinement, object-orientation, hybrid and timed automata, integration frameworks, verifying interactive systems, and testing and assertions.

Információ a könyvről

Teljes megnevezés Integrated Formal Methods
Szerző Eerke A. Boiten, John Derrick, Graeme Smith
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2004
Oldalszám 548
EAN 9783540213772
ISBN 3540213775
Libristo kód 01559229
Kiadó Springer, Berlin
Súly 820
Méretek 156 x 234 x 28

Kategória

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éptudomány matematikai elmélete
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
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

Belépés

Bejelentkezés a saját fiókba. Még nincs Libristo fiókja? Hozza létre most!

 
kötelező
kötelező
Elfelejtett jelszó

Nincs fiókja? Szerezze meg a Libristo fiók kedvezményeit!

A Libristo fióknak köszönhetően mindent a felügyelete alatt tarthat.

Libristo fiók létrehozása