phone 02/210 210 99
LIBRISTO 0
Doprava zadarmo s Packetou nad 59.99 €
Pošta 4.49 € SPS 4.99 € Kuriér GLS 3.99 € Zberné miesto GLS 2.99 € Packeta kurýr 4.99 € Packeta 2.99 € SPS Parcel Shop 2.99 €
phone Kontakt phoneAko nakupovať

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: 01661642
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, júl 2012
This book presents the thoroughly refereed post-conference proceedings of the International Conferen... Celý popis
? points 140 b
55.89 €
Skladom u dodávateľa v malom množstve Odosielame za 13-16 dní

30 dní na vrátenie tovaru

Mohlo by vás tiež zaujímať

Geolocation Techniques Camillo Gentile / Pevná
common.buy 218.84 €
Fidus Dirk Erkelenz / Brožovaná
common.buy 20.17 €
Five Tales for the Theatre Carlo Gazzi / Pevná
common.buy 137.41 €
Vom Weg der Liebe Eugen Drewermann / Pevná
common.buy 22.59 €
Rethinking Invasion Ecologies from the Environmental Humanities Jodi Frawley & Iain McCalman / Brožovaná
common.buy 72.33 €
de la Iberte de la Presse Illimitee De Lasteyrie-C-P / Brožovaná
common.buy 19.56 €
Abrege de la Vie Politique Et Guerriere Du Prince Vahan Le Mamigonien, Heros d'Armenie Krikor Garabedian Khabaradji / Brožovaná
common.buy 14.62 €
Evaluacion de un prototipo semimontado para siembra directa Ricardo Raúl Mattana / Brožovaná
common.buy 44.89 €
Feminist Economics and Public Policy / Pevná
common.buy 197.14 €

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.

Informácie o knihe

Celý názov Formal Verification of Object-Oriented Software
Autor Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
Jazyk Angličtina
Väzba Kniha - Brožovaná
Dátum vydania 2012
Počet strán 251
EAN 9783642317613
ISBN 3642317618
Libristo kód 01661642
Nakladateľstvo Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 409
Rozmery 155 x 235 x 15

Kategórie

Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Softvérové ​​inžinierstvo > Testovanie a verifikácia softvéru
Výpočtové a informačné technológie > Informatika > Interakcia človek – počítač > Informačná architektúra
Výpočtové a informačné technológie > Počítačový hardvér > Hardvér počítačových a informačných technológií: údržba a opravy
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Prekladače a interpretre
Výpočtové a informačné technológie > Počítačové programovanie/softvérové ​​inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne
Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn
Darujte túto knihu ešte dnes
Je to jednoduché
1 Pridajte knihu do košíka a vyberte možnosť doručiť ako darček 2 Obratom Vám zašleme poukaz 3 Knihu zašleme na adresu obdarovaného

Prihlásenie

Prihláste sa k svojmu účtu. Ešte nemáte Libristo účet? Vytvorte si ho teraz!

 
povinné
povinné
Zabudnuté heslo

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

Vďaka Libristo účtu budete mať všetko pod kontrolou.

Vytvoriť Libristo účet