Provjerite status narudžbe
LIBRISTO
LIBROAMANTO
obvezno
Zaboravljena zaporka
Pridružite se zajednici ljubitelja knjige iz cijelog svijeta i ostvarite mnoštvo pogodnosti. Izradite besplatni račun
0
Besplatna dostava Overseas kurirskom službom iznad 69.99 €
DPD kurir 3.99 € DPD točka 3.49 € GLS Kurir 4.99 € GLS paketomat 3.99 € Hrvatska pošta 4.99 € Dostava Overseas 4.99 € Box Now 4.49 €
phone Kontakt phoneKako kupovati
Besplatna dostava putem Box Now paketomata i Overseas kurirske službe iznad 69,99 €.

Formal Verification of Object-Oriented Software

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

Jezik EngleskiEngleski
Knjiga Meki uvez
Knjiga Formal Verification of Object-Oriented Software Bernhard Beckert
Libristo kod: 01661642
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, srpanj 2012
This book presents the thoroughly refereed post-conference proceedings of the International Conferen... Cijeli opis
? points 115 b
47.62 €
Vanjske zalihe Šaljemo za 5-8 dana

Do 30 dana za povrat

Kupci su kupili i

SCHIRMER CLASSIC CHORUSES: HORN IN F PETHEL Knjiga binding.
common.buy 8.10 €
Anne Sylvestre Daniel Pantchenko / Knjiga Meki uvez
common.buy 32.12 €
L'espoli fiscal del país valencià Gimeno / Knjiga Meki uvez
common.buy 19.45 €
Xogos populares en Pontevedra JOSE LOIS CASAL / Knjiga Knjiga
common.buy 17.73 €
Trockenhelden im Gemüsebeet Ortrud Grieb / Knjiga Meki uvez
common.buy 17.02 €
Galicia, un mar con historia DUBERT / Knjiga Meki uvez
common.buy 24.62 €
Johanniskraut: Das Heilkraut aus der Natur: Wirkung, Dosierung, Herstellung Tanja Eisenberg / Knjiga Meki uvez
common.buy 9.01 €
Sieghardus, Der Hauptmann Der Beim Kreuze Stand William Schmidt / Knjiga Meki uvez
common.buy 23.10 €
Du Commerce Et de Ses Travaux Publics En Angleterre Et En France, Discours Prononce Le 2 Juin 1823 Dupin-C / Knjiga Meki uvez
common.buy 13.57 €
Juicio por jurado, cuestiones teóricas y prácticas : prueba, veredicto, sentencia, recursos Alberto Jorge . . . [et al. ] Barreiro / Knjiga Meki uvez
common.buy 26.44 €
Act One/Waters Of Change Beggar's Opera / Audio Audio CD
common.buy 15.80 €
de la Iberte de la Presse Illimitee De Lasteyrie-C-P / Knjiga Meki uvez
common.buy 15.90 €
Abrege de la Vie Politique Et Guerriere Du Prince Vahan Le Mamigonien, Heros d'Armenie Krikor Garabedian Khabaradji / Knjiga Meki uvez
common.buy 12.46 €
Architecture Coloniale Portugaise A Goa SANTIAGO FARIA ALICE / Knjiga Meki uvez
common.buy 69.51 €
Die Ukraine-Krise ist eine Krise Europas Jerzy Macków / Knjiga Meki uvez
common.buy 10.02 €
Evaluacion de un prototipo semimontado para siembra directa Ricardo Raúl Mattana / Knjiga Meki uvez
common.buy 35.76 €
Klimaschutzpolitik zwischen Ökonomie und Ökologie Jessica Hövelborn / Knjiga Meki uvez
common.buy 37.08 €
Vom Weg der Liebe Eugen Drewermann / Knjiga Tvrdi uvez
common.buy 21.07 €
Gestus Katharina Weiß / Knjiga Meki uvez
common.buy 16.21 €
Herzklopfen auf Französisch Stephanie Perkins / Knjiga Meki uvez
common.buy 8.30 €
Fidus Dirk Erkelenz / Knjiga Meki uvez
common.buy 25.12 €

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.

Glumica & Poliglotkinja
EWA KASP za
Pusti video
Ewa Kasp
Libristo ima najveći izbor literature na stranim jezicima. Zato svoje knjige kupujem ovdje.

Informacije o knjizi

Puni naziv Formal Verification of Object-Oriented Software
Autor Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
Jezik Engleski
Uvez Knjiga - Meki uvez
Datum izdanja 2012
Broj stranica 251
EAN 9783642317613
ISBN 3642317618
Libristo kod 01661642
Nakladnici Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Težina 409
Dimenzije 155 x 235 x 15

Kategorija

Computing & Information Technology > Computer programming / software engineering > Software Engineering > Software testing & verification
Computing & Information Technology > Computer science > Human–computer interaction > Information architecture
Computing & Information Technology > Computer hardware > Maintenance & repairs
Computing & Information Technology > Computer programming / software engineering > Compilers & interpreters
Computing & Information Technology > Computer programming / software engineering > Programming & scripting languages: general
Computing & Information Technology > Computer science > Computer architecture & logic design
Poklonite ovu knjigu još danas
To je jednostavno
1 Dodajte knjigu u košaricu i odaberite isporuku kao poklon 2 Zauzvrat ćemo vam poslati kupon 3 Knjiga dolazi na adresu poklonoprimca

Moglo bi vas zanimati i

Who Watches the Watchmen? The Conflict Between National Security and Freedom of the Press Gary Ross / Knjiga Meki uvez
common.buy 23.60 €
I'm Over All That Shirley MacLaine / Knjiga Meki uvez
common.buy 15.60 €
The Child's Guide To Catholic Devotion: Large Print Edition Mel Waller / Knjiga Meki uvez
common.buy 12.35 €
Don't Call It Poetry: A Book Of Skrybes Blacklight Empire / Knjiga Meki uvez
common.buy 11.85 €
Patience HELENA STONE / Knjiga Meki uvez
common.buy 13.67 €
English File: Advanced. Student's Book with iTutor and Online Skills Latham-Koenig Christina; Oxenden Clive / Knjiga Meki uvez
common.buy 62.52 €
Mazes Galore! SPEEDY KIDS / Knjiga Meki uvez
common.buy 13.57 €
The Relation of Civil Service Reform to Municipal Reform. Carl Schurz / Knjiga Meki uvez
common.buy 11.95 €
Feminist Economics and Public Policy Jim Campbell / Knjiga Tvrdi uvez
common.buy 244.84 €
Fast Swimming with Technique and Mental Awareness Gene Damm / Knjiga Meki uvez
common.buy 12.15 €
Suddenly, Tomorrow Came...: A History of the Johnson Space Center National Aeronautics and Administration / Knjiga Meki uvez
common.buy 17.52 €
Beautiful Circles Coloring Book: Circles full of beautiful doodle art designs to color Dwyanna Stoltzfus / Knjiga Meki uvez
common.buy 10.33 €
Bosses and Blackjacks: A Tale of "The Bloody Fifth" in Philadelphia L C Bennett Stern / Knjiga Meki uvez
common.buy 14.79 €
S.U.D.S The Dogs that brought a Community together: Sunnyside United Dog Society Jeannette Remak / Knjiga Meki uvez
common.buy 26.54 €
The Anger Management Manual: Get Control of Yourself Cameron Stewart / Knjiga Meki uvez
common.buy 8.60 €
Wyoming Rugged Diana Palmer / Knjiga Meki uvez
common.buy 9.92 €
Kant on Human Dignity Oliver Sensen / Knjiga Tvrdi uvez
common.buy 119.38 €
Dynamics of Violence. Georg Elwert / Knjiga Meki uvez
common.buy 80.76 €
Geolocation Techniques Camillo Gentile / Knjiga Tvrdi uvez
common.buy 185.45 €
Mongrel Prince Ken Goudsward / Knjiga Meki uvez
common.buy 12.15 €
Rethinking Invasion Ecologies from the Environmental Humanities Jodi Frawley & Iain McCalman / Knjiga Meki uvez
common.buy 78.43 €
Miss Daisy Weed Down to Earth CHARLOTTE GODKIN / Knjiga Tvrdi uvez
common.buy 20.97 €
Top
Concise 33 Strategies of War Robert Greene / Knjiga Meki uvez
common.buy 9.72 €
God's Laboratory Elizabeth F S Roberts / Knjiga Meki uvez
common.buy 36.78 €

Prijava

Prijavite se na svoj račun. Još nemate Libristo račun? Otvorite ga odmah!

 
obvezno
obvezno
Zaboravljena zaporka

Nemate račun? Ostvarite pogodnosti uz Libristo račun!

Sve ćete imati pod kontrolom uz Libristo račun.

Otvoriti Libristo račun