[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
Kedves Vásárlóink! Szeretnénk felhívni szíves figyelmüket, hogy telefonos ügyfélszolgálatunk a mai napon korlátozottan működik: 08.00-10.00 között valamint 12.00-14.00 között. Elérhetnek minket e-mailben is az [email protected] e-mail címen. Megértésüket köszönjük.

Formal Methods: Foundations and Applications

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Formal Methods: Foundations and Applications Rohit Gheyi
Libristo kód: 01662107
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, augusztus 2012
This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SB... Teljes leírás
? points 200 b
31 482 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

toplistás
Petrolejové lampy Jaroslav Havlíček / Puha kötésű
common.buy 1 681 Ft
Česko-anglický slovník spojení: podstatné jméno a sloveso Norah Hronková / Puha kötésű
common.buy 6 025 Ft
Dark Ages and the Age of Gold Russell A. Fraser / Kemény kötésű
common.buy 81 412 Ft
Die ordentliche Änderungskündigung des Arbeitgebers. Franz X. Wallner / Puha kötésű
common.buy 37 240 Ft
People's Platform Astra Taylor / Puha kötésű
common.buy 6 323 Ft
Planning After Petroleum / Kemény kötésű
common.buy 97 862 Ft
Event of Death: a Phenomenological Enquiry I. Leman-Stefanovic / Puha kötésű
common.buy 73 453 Ft
Datenvisualisierung boolescher Anfragen Dianqiang Yang / Puha kötésű
common.buy 19 486 Ft
Journeying Wave Richmal Crompton / Kemény kötésű
common.buy 14 170 Ft
Logic for Concurrency and Synchronisation R.J. De Queiroz / Puha kötésű
common.buy 47 761 Ft
Interfacing PIC Microcontrollers Martin Bates / Puha kötésű
common.buy 26 513 Ft
Handbuch Der Ziehtechnik Walter Sellin / Puha kötésű
common.buy 26 357 Ft
Intercultural Issues in Online Communication Verena Wiedmaier / Puha kötésű
common.buy 56 328 Ft
Piano Exam Pieces 2015 & 2016, Grade 5 / Kemény kötésű
common.buy 7 515 Ft
Ballad And The Source Rosamond Lehmann / Puha kötésű
common.buy 6 524 Ft
Grenzüberschreitende Titelgeltung in der Europäischen Union. Max Christoph Peiffer / Puha kötésű
common.buy 41 343 Ft

This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.

Információ a könyvről

Teljes megnevezés Formal Methods: Foundations and Applications
Szerző Rohit Gheyi, David Naumann
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2012
Oldalszám 227
EAN 9783642332951
ISBN 3642332951
Libristo kód 01662107
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 373
Méretek 155 x 235 x 14

Kategória

Számítástechnika és információtechnológia > Számítógéptudomány > Ember-számítógép interakció > Információépítészet
Számítástechnika és információtechnológia > Számítógépes hardver > Karbantartás és javítá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
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