[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

Formal Verification of Object-Oriented Software

Nyelv AngolAngol
Könyv Puha kötésű
Könyv Formal Verification of Object-Oriented Software Bernhard Beckert
Libristo kód: 01297498
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, január 2011
This book presents the thoroughly refereed post-conference proceedings of the International Conferen... Teljes leírás
? points 156 b
24 610 Ft
Beszállítói készleten Küldés 13-18 napon belül

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

Ezt is ajánljuk

Starcraft II: Flashpoint Christie Golden / Puha kötésű
common.buy 3 524 Ft
A Good Turn of Phrase Idiom Practice - Student's book Virginia Evans / Puha kötésű
common.buy 6 650 Ft
Vyjdi, i vyšel Štěpán Hájek / binding.
common.buy 1 304 Ft
Philosophical-Political Profiles Jürgen Habermas / Puha kötésű
common.buy 10 239 Ft
Melodies of the Mind Julie Jaffee Nagel / Puha kötésű
common.buy 22 426 Ft
10th International Conference on Automated Deduction Mark E. Stickel / Puha kötésű
common.buy 69 159 Ft
Changeable and Reconfigurable Manufacturing Systems Hoda A. ElMaraghy / Puha kötésű
common.buy 73 453 Ft
Playing with a Full Deck Alexis Johnson / Kemény kötésű
common.buy 13 133 Ft
Konflikt des Erzbischofs Aribo von Mainz mit dem Papsttum Bettina Marietta Recktenwald / Puha kötésű
common.buy 14 910 Ft
Achte auf deine Gedanken David R. Hamilton / Puha kötésű
common.buy 4 339 Ft
Exercises in Physical Geology Kenneth Hamblin / Puha kötésű
common.buy 46 170 Ft
Poetical Works of Edward Young Avol. 2 Edward Young / Puha kötésű
common.buy 13 319 Ft
Salben im Morgen- und Abendlande Friedrich W. Culmann / Puha kötésű
common.buy 23 588 Ft
Musiklehre, m. DVD Friedrich Neumann / Lap
common.buy 8 381 Ft
Drug and Alcohol Abuse Marc A Schuckit / Puha kötésű
common.buy 86 305 Ft
formacion de lideres estudiantiles mejoran la interaccion escolar Melo Luis Francisco / Puha kötésű
common.buy 31 451 Ft

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. §The 11 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 submissions. Formal software verification has outgrown the area of academic case studies, and industry is showing serious interest. The logical next goal is the verification of industrial software products. Most programming languages used in industrial practice are object-oriented, e.g. Java, C++, or C sharp. FoVeOOS 2010 aimed to foster collaboration and interactions among researchers in this area.

Információ a könyvről

Teljes megnevezés Formal Verification of Object-Oriented Software
Szerző Bernhard Beckert
Nyelv Angol
Kötés Könyv - Puha kötésű
Kiadás éve 2011
Oldalszám 199
EAN 9783642180699
ISBN 3642180698
Libristo kód 01297498
Kiadó Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Súly 331
Méretek 155 x 235 x 13

Kategória

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 > Szoftvertesztelés és verifikáció
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 > Objektumközpontú programozás (OOP)
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é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