phone (32) 444 93 66
LIBRISTO 0
Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł
InPost 13.99 zł DPD 25.99 zł Paczkomat 13.99 zł ORLEN Paczka 10.99 zł Poczta Polska 18.99 zł
phone Kontakt phoneJak kupować

Formal Verification of Object-Oriented Software

Język AngielskiAngielski
Książka Miękka
Książka Formal Verification of Object-Oriented Software Bernhard Beckert
Kod Libristo: 01297498
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, styczeń 2011
This book presents the thoroughly refereed post-conference proceedings of the International Conferen... Cały opis
? points 156 b
265.92 zł
Dostępna u dostawcy Wysyłamy za 13-18 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Starcraft II: Flashpoint Christie Golden / Miękka
common.buy 38.08 zł
A Good Turn of Phrase Idiom Practice - Student's book Virginia Evans / Miękka
common.buy 59.62 zł
Vyjdi, i vyšel Štěpán Hájek / binding.
common.buy 14.05 zł
Philosophical-Political Profiles Jürgen Habermas / Miękka
common.buy 105.19 zł
Playing with a Full Deck Alexis Johnson / Twarda
common.buy 141.88 zł
Changeable and Reconfigurable Manufacturing Systems Hoda A. ElMaraghy / Miękka
common.buy 793.69 zł
10th International Conference on Automated Deduction Mark E. Stickel / Miękka
common.buy 747.33 zł
Melodies of the Mind Julie Jaffee Nagel / Miękka
common.buy 242.29 zł
Achte auf deine Gedanken David R. Hamilton / Miękka
common.buy 49.25 zł
Konflikt des Erzbischofs Aribo von Mainz mit dem Papsttum Bettina Marietta Recktenwald / Miękka
common.buy 161.12 zł
Exercises in Physical Geology Kenneth Hamblin / Miękka
common.buy 476.41 zł
Poetical Works of Edward Young Avol. 2 Edward Young / Miękka
common.buy 143.87 zł
Salben im Morgen- und Abendlande Friedrich W. Culmann / Miękka
common.buy 254.85 zł
Musiklehre, m. DVD Friedrich Neumann / Karta
common.buy 85.44 zł
Drug and Alcohol Abuse Marc A Schuckit / Miękka
common.buy 932.49 zł
formacion de lideres estudiantiles mejoran la interaccion escolar Melo Luis Francisco / Miękka
common.buy 339.81 zł

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.

Informacje o książce

Pełna nazwa Formal Verification of Object-Oriented Software
Autor Bernhard Beckert
Język Angielski
Oprawa Książka - Miękka
Data wydania 2011
Liczba stron 199
EAN 9783642180699
ISBN 3642180698
Kod Libristo 01297498
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 331
Wymiary 155 x 235 x 13

Kategoria

Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Inżynieria oprogramowania > Testowanie i weryfikacja oprogramowania
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Interakcja człowiek-komputer > Architektura informacji
Informatyka i technologie informacyjne (IT) > Sprzęt komputerowy > Konserwacja i naprawa komputerów i sprzętu informatycznego
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Kompilatory i interpretery
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Programowanie obiektowe
Informatyka i technologie informacyjne (IT) > Programowanie komputerowe i tworzenie oprogramowania > Języki skryptowe – zagadnienia ogólne
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Matematyczna teoria obliczeń
Informatyka i technologie informacyjne (IT) > Informatyka (nauka) > Projektowanie architektury komputerowej i projektowanie logiczne
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanego

Logowanie

Zaloguj się do swojego konta. Nie masz jeszcze konta Libristo? Utwórz je teraz!

 
obowiązkowe
obowiązkowe
Zapomniane hasło

Nie masz konta? Zyskaj korzyści konta Libristo!

Dzięki kontu Libristo będziesz mieć wszystko pod kontrolą.

Utwórz konto Libristo