phone +36 1 6333 184
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 GLS futár 1 590 Ft Packeta 990 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 Wolfgang Grieskamp
Libristo kód: 01563119
Kiadó Springer, Berlin, november 1999
This book constitutes the refereed proceedings of the Second International Conference on Integrated... Teljes leírás
? points 168 b
26 453 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

Moje nezbedné štěně Hry s Lumpíkem? Holly Webb / Puha kötésű
common.buy 1 889 Ft
Šenkýřka krásy Jan Schneider / binding.
common.buy 1 088 Ft
Pane ministře, volá Sarajevo Vladimír Přibský / Lap
common.buy 2 579 Ft
It's Now or Never Carole Matthews / Puha kötésű
common.buy 4 186 Ft
Oxford Reading Tree: Level 1: More First Words: Class Pack of 36 Roderick Hunt / Puha kötésű
common.buy 81 808 Ft
Introduction to Nonlinear and Global Optimization Eligius M.T. Hendrix / Puha kötésű
common.buy 26 453 Ft
Local Girls Caroline Zancan / Puha kötésű
common.buy 6 720 Ft
Out of Left Field Rebecca T. Alpert / Puha kötésű
common.buy 20 458 Ft
Biggle Swine Book Jacob Biggle / Kemény kötésű
common.buy 3 980 Ft

This book constitutes the refereed proceedings of the Second International Conference on Integrated Formal Methods, IFM 2000, held in Dagstuhl, Germany in November 2000.The 22 revised full papers presented together with the abstracts of two invited talks were carefully reviewed and selected from 58 submissions. The papers are grouped together in topical sections on linking and extending notations, methodology, foundation of one formalism by another, semantics, and verification and validation.

Információ a könyvről

Teljes megnevezés Integrated Formal Methods
Szerző Wolfgang Grieskamp, Thomas Santen, Bill Stoddart
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2000
Oldalszám 446
EAN 9783540411963
ISBN 3540411968
Libristo kód 01563119
Kiadó Springer, Berlin
Súly 700
Méretek 155 x 235 x 23

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány > Mesterséges intelligencia > Gépi tanulás
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
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

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