Verificar estado da encomenda
LIBRISTO
LIBROAMANTO
obrigatório
Esqueceu-se da palavra-passe
Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente
0
Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €
phone Contacto phoneComo comprar

Formal Verification of Object-Oriented Software

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

Língua InglêsInglês
Livro Capa mole
Livro Formal Verification of Object-Oriented Software Bernhard Beckert
Código Libristo: 01661642
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, julho 2012
This book presents the thoroughly refereed post-conference proceedings of the International Conferen... Descrição completa
? points 115 b
47.48 €
Armazenamento externo Envio em 5-8 dias

Até 30 dias para devoluções

Os clientes também compraram

SCHIRMER CLASSIC CHORUSES: HORN IN F PETHEL Livro binding.
common.buy 8.07 €
Anne Sylvestre Daniel Pantchenko / Livro Capa mole
common.buy 30.91 €
L'espoli fiscal del país valencià Gimeno / Livro Capa mole
common.buy 18.38 €
Xogos populares en Pontevedra JOSE LOIS CASAL / Livro Livro
common.buy 16.87 €
Trockenhelden im Gemüsebeet Ortrud Grieb / Livro Capa mole
common.buy 16.97 €
Galicia, un mar con historia DUBERT / Livro Capa mole
common.buy 23.13 €
Johanniskraut: Das Heilkraut aus der Natur: Wirkung, Dosierung, Herstellung Tanja Eisenberg / Livro Capa mole
common.buy 8.58 €
Sieghardus, Der Hauptmann Der Beim Kreuze Stand William Schmidt / Livro Capa mole
common.buy 21.92 €
Du Commerce Et de Ses Travaux Publics En Angleterre Et En France, Discours Prononce Le 2 Juin 1823 Dupin-C / Livro Capa mole
common.buy 13.83 €
Juicio por jurado, cuestiones teóricas y prácticas : prueba, veredicto, sentencia, recursos Alberto Jorge . . . [et al. ] Barreiro / Livro Capa mole
common.buy 24.95 €
Act One/Waters Of Change Beggar's Opera / Áudio CD de áudio
common.buy 15.75 €
de la Iberte de la Presse Illimitee De Lasteyrie-C-P / Livro Capa mole
common.buy 17.47 €
Abrege de la Vie Politique Et Guerriere Du Prince Vahan Le Mamigonien, Heros d'Armenie Krikor Garabedian Khabaradji / Livro Capa mole
common.buy 13.03 €
Architecture Coloniale Portugaise A Goa SANTIAGO FARIA ALICE / Livro Capa mole
common.buy 69.31 €
Die Ukraine-Krise ist eine Krise Europas Jerzy Macków / Livro Capa mole
common.buy 10.20 €
Evaluacion de un prototipo semimontado para siembra directa Ricardo Raúl Mattana / Livro Capa mole
common.buy 35.66 €
Klimaschutzpolitik zwischen Ökonomie und Ökologie Jessica Hövelborn / Livro Capa mole
common.buy 37.28 €
Vom Weg der Liebe Eugen Drewermann / Livro Livro de capa dura
common.buy 19.70 €
Gestus Katharina Weiß / Livro Capa mole
common.buy 16.16 €
Herzklopfen auf Französisch Stephanie Perkins / Livro Capa mole
common.buy 8.28 €
Fidus Dirk Erkelenz / Livro Capa mole
common.buy 23.03 €

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.

Atriz & Poliglota
EWA KASP para
Reproduzir vídeo
Ewa Kasp
A Libristo tem a maior seleção de literatura estrangeira. É por isso que compro os meus livros aqui.

Sobre o livro

Nome completo Formal Verification of Object-Oriented Software
Autor Bernhard Beckert, Ferruccio Damiani, Dilian Gurov
Língua Inglês
Encadernação Livro - Capa mole
Data de emissão 2012
Número de páginas 251
EAN 9783642317613
ISBN 3642317618
Código Libristo 01661642
Editoras Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 409
Dimensões 155 x 235 x 15

Categorias

Informática & tecnologia da informação > Programação & engenharia informática > Engenharia de programas > Testagem e verificação de programas
Informática & tecnologia da informação > Ciência informática > Interação homem-computador > Arquitetura da informação
Informática & tecnologia da informação > Equipamento informático > Manutenção e reparações
Informática & tecnologia da informação > Programação & engenharia informática > Compiladores e intérpretes
Informática & tecnologia da informação > Programação & engenharia informática > Linguagens de programação e escrita: generalidades
Informática & tecnologia da informação > Ciência informática > Arquitetura informática e conceção lógica
Ofereça este livro hoje
É fácil
1 Adicione ao carrinho e escolha Entregar como presente ao finalizar a compra 2 Receberá um vale 3 O livro chegará ao endereço do destinatário

Também pode estar interessado em

Who Watches the Watchmen? The Conflict Between National Security and Freedom of the Press Gary Ross / Livro Capa mole
common.buy 22.32 €
I'm Over All That Shirley MacLaine / Livro Capa mole
common.buy 14.64 €
The Child's Guide To Catholic Devotion: Large Print Edition Mel Waller / Livro Capa mole
common.buy 11.71 €
Don't Call It Poetry: A Book Of Skrybes Blacklight Empire / Livro Capa mole
common.buy 11.21 €
Patience HELENA STONE / Livro Capa mole
common.buy 13.03 €
English File: Advanced. Student's Book with iTutor and Online Skills Latham-Koenig Christina; Oxenden Clive / Livro Capa mole
common.buy 59.91 €
Mazes Galore! SPEEDY KIDS / Livro Capa mole
common.buy 12.72 €
The Relation of Civil Service Reform to Municipal Reform. Carl Schurz / Livro Capa mole
common.buy 11.21 €
Feminist Economics and Public Policy Jim Campbell / Livro Livro de capa dura
common.buy 199.57 €
Fast Swimming with Technique and Mental Awareness Gene Damm / Livro Capa mole
common.buy 11.51 €
Suddenly, Tomorrow Came...: A History of the Johnson Space Center National Aeronautics and Administration / Livro Capa mole
common.buy 16.66 €
Beautiful Circles Coloring Book: Circles full of beautiful doodle art designs to color Dwyanna Stoltzfus / Livro Capa mole
common.buy 9.79 €
Bosses and Blackjacks: A Tale of "The Bloody Fifth" in Philadelphia L C Bennett Stern / Livro Capa mole
common.buy 14.04 €
S.U.D.S The Dogs that brought a Community together: Sunnyside United Dog Society Jeannette Remak / Livro Capa mole
common.buy 25.05 €
The Anger Management Manual: Get Control of Yourself Cameron Stewart / Livro Capa mole
common.buy 8.07 €
Wyoming Rugged Diana Palmer / Livro Capa mole
common.buy 9.39 €
Kant on Human Dignity Oliver Sensen / Livro Livro de capa dura
common.buy 119.03 €
Dynamics of Violence. Georg Elwert / Livro Capa mole
common.buy 70.73 €
Geolocation Techniques Camillo Gentile / Livro Livro de capa dura
common.buy 184.92 €
Mongrel Prince Ken Goudsward / Livro Capa mole
common.buy 11.51 €
Rethinking Invasion Ecologies from the Environmental Humanities Jodi Frawley & Iain McCalman / Livro Capa mole
common.buy 71.84 €
Miss Daisy Weed Down to Earth CHARLOTTE GODKIN / Livro Livro de capa dura
common.buy 19.59 €
Principal
Concise 33 Strategies of War Robert Greene / Livro Capa mole
common.buy 9.69 €
God's Laboratory Elizabeth F S Roberts / Livro Capa mole
common.buy 39.50 €

Iniciar sessão

Inicie sessão na sua conta. Não tem uma conta Libristo? Crie uma agora!

 
obrigatório
obrigatório
Esqueceu-se da palavra-passe

Não tem uma conta? Descubra os benefícios de ter uma conta Libristo!

Com uma conta Libristo, terá tudo sob controlo.

Crie uma conta Libristo