phone 571 999 090
LIBRISTO 0
Doprava zdarma se Zásilkovnou nad 1 299 Kč
PPL Parcel Shop 54 Kč Balík do ruky 74 Kč Balíkovna 49 Kč GLS 54 Kč Kurýr GLS 64 Kč Zásilkovna 44 Kč PPL 99 Kč
phone Kontakt phoneJak nakupovat

Formal Verification of Object-Oriented Software

Jazyk AngličtinaAngličtina
Kniha Brožovaná
Kniha Formal Verification of Object-Oriented Software Bernhard Beckert
Libristo kód: 01297498
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ledna 2011
This book presents the thoroughly refereed post-conference proceedings of the International Conferen... Celý popis
? points 157 b
1 566 Kč
Skladem u dodavatele Odesíláme za 9-13 dnů

30 dní na vrácení zboží

Mohlo by vás také zajímat

TOP
Starcraft II: Flashpoint Christie Golden / Brožovaná
common.buy 225 Kč
A Good Turn of Phrase Idiom Practice - Student's book Virginia Evans / Brožovaná
common.buy 429 Kč
Vyjdi, i vyšel Štěpán Hájek / binding.
common.buy 89 Kč
Philosophical-Political Profiles Jürgen Habermas / Brožovaná
common.buy 651 Kč
Drug and Alcohol Abuse Marc A Schuckit / Brožovaná
common.buy 5 490 Kč
Musiklehre, m. DVD Friedrich Neumann / List
common.buy 533 Kč
Changeable and Reconfigurable Manufacturing Systems Hoda A. ElMaraghy / Brožovaná
common.buy 4 673 Kč
10th International Conference on Automated Deduction Mark E. Stickel / Brožovaná
common.buy 4 401 Kč
Melodies of the Mind Julie Jaffee Nagel / Brožovaná
common.buy 1 426 Kč
Playing with a Full Deck Alexis Johnson / Pevná
common.buy 835 Kč
Salben im Morgen- und Abendlande Friedrich W. Culmann / Brožovaná
common.buy 1 500 Kč
Připravujeme
Achte auf deine Gedanken David R. Hamilton / Brožovaná
common.buy 252 Kč
Konflikt des Erzbischofs Aribo von Mainz mit dem Papsttum Bettina Marietta Recktenwald / Brožovaná
common.buy 948 Kč
Exercises in Physical Geology Kenneth Hamblin / Brožovaná
common.buy 2 937 Kč
Urban Encounters Andre Cicalo / Pevná
common.buy 1 542 Kč
Poetical Works of Edward Young Avol. 2 Edward Young / Brožovaná
common.buy 847 Kč

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.

Informace o knize

Plný název Formal Verification of Object-Oriented Software
Autor Bernhard Beckert
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2011
Počet stran 199
EAN 9783642180699
ISBN 3642180698
Libristo kód 01297498
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 331
Rozměry 155 x 235 x 13

Kategorie

Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Softwarové inženýrství > Testování a verifikace softwaru
Výpočetní a informační technologie > Informatika > Interakce člověk – počítač > Informační architektura
Výpočetní a informační technologie > Počítačový hardware > Hardware počítačových a informačních technologií: údržba a opravy
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Překladače a interpretry
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Objektově orientované programování (OOP)
Výpočetní a informační technologie > Počítačové programování/softwarové inženýrství > Programovací a skriptovací jazyky: obecně
Výpočetní a informační technologie > Informatika > Teorie algoritmů
Výpočetní a informační technologie > Informatika > Architektura počítače a logic design
Darujte tuto knihu ještě dnes
Je to snadné
1 Přidejte knihu do košíku a zvolte doručit jako dárek 2 Obratem vám zašleme poukaz 3 Kniha dorazí na adresu obdarovaného

Přihlášení

Přihlaste se ke svému účtu. Ještě nemáte Libristo účet? Vytvořte si ho nyní!

 
povinné
povinné
Zapomenuté heslo

Nemáte účet? Získejte výhody Libristo účtu!

Díky Libristo účtu budete mít vše pod kontrolou.

Vytvořit Libristo účet