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: 01661642
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, lipiec 2012
This book presents the thoroughly refereed post-conference proceedings of the International Conferen... Cały opis
? points 140 b
239.83 zł
Dostępna u dostawcy w małych ilościach Wysyłamy za 13-16 dni

30 dni na zwrot towaru

Mogłoby Cię także zainteresować

Geolocation Techniques Camillo Gentile / Twarda
common.buy 938.07 zł
Fidus Dirk Erkelenz / Miękka
common.buy 82.24 zł
Five Tales for the Theatre Carlo Gazzi / Twarda
common.buy 561.01 zł
de la Iberte de la Presse Illimitee De Lasteyrie-C-P / Miękka
common.buy 83.95 zł
Vom Weg der Liebe Eugen Drewermann / Twarda
common.buy 91.47 zł
Rethinking Invasion Ecologies from the Environmental Humanities Jodi Frawley & Iain McCalman / Miękka
common.buy 310.24 zł
Evaluacion de un prototipo semimontado para siembra directa Ricardo Raúl Mattana / Miękka
common.buy 192.68 zł
Abrege de la Vie Politique Et Guerriere Du Prince Vahan Le Mamigonien, Heros d'Armenie Krikor Garabedian Khabaradji / Miękka
common.buy 62.58 zł
Feminist Economics and Public Policy / Twarda
common.buy 804.96 zł

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2011, held in Turin, Italy, in October 2011 organised by COST Action IC0701. The 10 revised full papers presented together with 5 invited talks were carefully reviewed and selected from 19 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 2011 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, Ferruccio Damiani, Dilian Gurov
Język Angielski
Oprawa Książka - Miękka
Data wydania 2012
Liczba stron 251
EAN 9783642317613
ISBN 3642317618
Kod Libristo 01661642
Wydawnictwo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Waga 409
Wymiary 155 x 235 x 15

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 > Języki skryptowe – zagadnienia ogólne
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