Zjistit stav objednávky
LIBRISTO
LIBROAMANTO
povinné
Zapomenuté heslo
Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma
0
Doprava zdarma se Zásilkovnou nad 1 499 Kč
Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč
phone Kontakt phoneJak nakupovat
Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Formal Verification of Object-Oriented Software

International Conference, FoVeOO 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers

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

Až 30 dní na vrácení zboží

Zákazníci také koupili

SCHIRMER CLASSIC CHORUSES: HORN IN F PETHEL Kniha binding.
common.buy 197 Kč
Anne Sylvestre Daniel Pantchenko / Kniha Brožovaná
common.buy 820 Kč
L'espoli fiscal del país valencià Gimeno / Kniha Brožovaná
common.buy 488 Kč
Xogos populares en Pontevedra JOSE LOIS CASAL / Kniha Kniha
common.buy 442 Kč
Trockenhelden im Gemüsebeet Ortrud Grieb / Kniha Brožovaná
common.buy 385 Kč
Galicia, un mar con historia DUBERT / Kniha Brožovaná
common.buy 579 Kč
Johanniskraut: Das Heilkraut aus der Natur: Wirkung, Dosierung, Herstellung Tanja Eisenberg / Kniha Brožovaná
common.buy 207 Kč
Sieghardus, Der Hauptmann Der Beim Kreuze Stand William Schmidt / Kniha Brožovaná
common.buy 532 Kč
Du Commerce Et de Ses Travaux Publics En Angleterre Et En France, Discours Prononce Le 2 Juin 1823 Dupin-C / Kniha Brožovaná
common.buy 336 Kč
Juicio por jurado, cuestiones teóricas y prácticas : prueba, veredicto, sentencia, recursos Alberto Jorge . . . [et al. ] Barreiro / Kniha Brožovaná
common.buy 670 Kč
Act One/Waters Of Change Beggar's Opera / Audio Audio CD
common.buy 366 Kč
de la Iberte de la Presse Illimitee De Lasteyrie-C-P / Kniha Brožovaná
common.buy 423 Kč
Abrege de la Vie Politique Et Guerriere Du Prince Vahan Le Mamigonien, Heros d'Armenie Krikor Garabedian Khabaradji / Kniha Brožovaná
common.buy 315 Kč
Architecture Coloniale Portugaise A Goa SANTIAGO FARIA ALICE / Kniha Brožovaná
common.buy 1 580 Kč
Die Ukraine-Krise ist eine Krise Europas Jerzy Macków / Kniha Brožovaná
common.buy 262 Kč
Evaluacion de un prototipo semimontado para siembra directa Ricardo Raúl Mattana / Kniha Brožovaná
common.buy 813 Kč
Klimaschutzpolitik zwischen Ökonomie und Ökologie Jessica Hövelborn / Kniha Brožovaná
common.buy 947 Kč
Vom Weg der Liebe Eugen Drewermann / Kniha Pevná
common.buy 477 Kč
Gestus Katharina Weiß / Kniha Brožovaná
common.buy 369 Kč
Herzklopfen auf Französisch Stephanie Perkins / Kniha Brožovaná
common.buy 188 Kč
Fidus Dirk Erkelenz / Kniha Brožovaná
common.buy 530 Kč

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.

Herečka & Polyglotka
EWA KASP pro
Přehrát video
Ewa Kasp
Libristo má největší výběr cizojazyčné literatury. Proto své knihy kupuji tady.

Informace o knize

Plný název Formal Verification of Object-Oriented Software
Autor Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
Jazyk Angličtina
Vazba Kniha - Brožovaná
Datum vydání 2012
Počet stran 251
EAN 9783642317613
ISBN 3642317618
Libristo kód 01661642
Nakladatelství Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Váha 409
Rozměry 155 x 235 x 15

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í > Programovací a skriptovací jazyky: obecně
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

Mohlo by vás také zajímat

Who Watches the Watchmen? The Conflict Between National Security and Freedom of the Press Gary Ross / Kniha Brožovaná
common.buy 542 Kč
I'm Over All That Shirley MacLaine / Kniha Brožovaná
common.buy 355 Kč
The Child's Guide To Catholic Devotion: Large Print Edition Mel Waller / Kniha Brožovaná
common.buy 284 Kč
Don't Call It Poetry: A Book Of Skrybes Blacklight Empire / Kniha Brožovaná
common.buy 272 Kč
Patience HELENA STONE / Kniha Brožovaná
common.buy 315 Kč
English File: Advanced. Student's Book with iTutor and Online Skills Latham-Koenig Christina; Oxenden Clive / Kniha Brožovaná
common.buy 1 589 Kč
Mazes Galore! SPEEDY KIDS / Kniha Brožovaná
common.buy 308 Kč
The Relation of Civil Service Reform to Municipal Reform. Carl Schurz / Kniha Brožovaná
common.buy 271 Kč
Feminist Economics and Public Policy Jim Campbell / Kniha Pevná
common.buy 4 835 Kč
Fast Swimming with Technique and Mental Awareness Gene Damm / Kniha Brožovaná
common.buy 278 Kč
Suddenly, Tomorrow Came...: A History of the Johnson Space Center National Aeronautics and Administration / Kniha Brožovaná
common.buy 403 Kč
Beautiful Circles Coloring Book: Circles full of beautiful doodle art designs to color Dwyanna Stoltzfus / Kniha Brožovaná
common.buy 237 Kč
Bosses and Blackjacks: A Tale of "The Bloody Fifth" in Philadelphia L C Bennett Stern / Kniha Brožovaná
common.buy 339 Kč
S.U.D.S The Dogs that brought a Community together: Sunnyside United Dog Society Jeannette Remak / Kniha Brožovaná
common.buy 608 Kč
The Anger Management Manual: Get Control of Yourself Cameron Stewart / Kniha Brožovaná
common.buy 196 Kč
Wyoming Rugged Diana Palmer / Kniha Brožovaná
common.buy 227 Kč
Kant on Human Dignity Oliver Sensen / Kniha Pevná
common.buy 2 732 Kč
Dynamics of Violence. Georg Elwert / Kniha Brožovaná
common.buy 1 803 Kč
Geolocation Techniques Camillo Gentile / Kniha Pevná
common.buy 4 238 Kč
Mongrel Prince Ken Goudsward / Kniha Brožovaná
common.buy 279 Kč
Rethinking Invasion Ecologies from the Environmental Humanities Jodi Frawley & Iain McCalman / Kniha Brožovaná
common.buy 1 740 Kč
Miss Daisy Weed Down to Earth CHARLOTTE GODKIN / Kniha Pevná
common.buy 474 Kč
Top
Concise 33 Strategies of War Robert Greene / Kniha Brožovaná
common.buy 219 Kč
God's Laboratory Elizabeth F S Roberts / Kniha Brožovaná
common.buy 956 Kč

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
Knižní rádce Libroamiko
Ahoj, jsem Libroamiko, můžu pomoct?