Controllare lo stato dell'ordine
LIBRISTO
LIBROAMANTO
obbligatorio
Password dimenticata
Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito
0
Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €
Corriere Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € Corriere DHL 6.99 € Corriere GLS 5.99 € Punto GLS 4.49 €
phone Contatto phoneCome acquistare
Spedizione gratuita per ordini superiori a 69,99 euro.

Formal Verification of Object-Oriented Software

Lingua IngleseInglese
Libro In brossura
Libro Formal Verification of Object-Oriented Software Bernhard Beckert
Codice Libristo: 01297498
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, gennaio 2011
This book presents the thoroughly refereed post-conference proceedings of the International Conferen... Descrizione completa
? points 148 b
60.49 €
Magazzino esterno in piccole quantità Inviamo tra 14-21 giorni

Fino a 30 giorni per il reso

I clienti hanno acquistato anche

Distinció. Un segle de fotografia de moda Naranjo Niño / Libro In brossura
common.buy 28.69 €
Vyjdi, i vyšel Štěpán Hájek / Libro binding.
common.buy 3.59 €
Adaptive Strahlformung in intelligenten Antennen für 5G-Netze Chaitanya Vijaykumar Mahamuni / Libro In brossura
common.buy 40.99 €
Accès à l'eau potable Elamé / Libro In brossura
common.buy 23.49 €
Papà, guarda! Eva Montanari / Libro Rigido
common.buy 17.89 €
Sběratel vůní Dominique Roques / Libro Rigido
common.buy 14.19 €
Integrationsfunktion der Verfassung und Verfassungsnormativität. Sandra Obermeyer / Libro In brossura
common.buy 66.39 €
IDENTITES EN CONFLIT, DIALOGUE DES MEMOIRES. ENJEUX IDENTITAIRES DANS LES RENCONTRES INTERGROUPES ECKMANN MONIQUE Libro In brossura
common.buy 42.89 €
Sto tváří, sto příběhů Jiří Hanuš / Libro In brossura
common.buy 16.99 €
Konflikt des Erzbischofs Aribo von Mainz mit dem Papsttum Bettina Marietta Recktenwald / Libro In brossura
common.buy 16.89 €
DICCIONARIO INCORRECTO DE LA NUEVA NORMALIDAD CARLOS RODRIGUEZ BRAUN / Libro In brossura
common.buy 23.39 €
Salben im Morgen- und Abendlande Friedrich W. Culmann / Libro In brossura
common.buy 32.19 €
Musiklehre, m. DVD Friedrich Neumann / Libro Foglio
common.buy 46.29 €
Les Archives Star Wars. 1977-1983 Paul Duncan / Libro Rigido
common.buy 199.79 €
Musicien et Professeur de Musique au XVIIIeme siecle Micheline Cumant / Libro In brossura
common.buy 10.39 €
formacion de lideres estudiantiles mejoran la interaccion escolar Melo Luis Francisco / Libro In brossura
common.buy 66.99 €

This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeOOS 2010, held in Paris, France, in June 2010 - organised by COST Action IC0701. §The 11 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 21 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 2010 aimed to foster collaboration and interactions among researchers in this area.

Attrice & Poliglotta
EWA KASP per
Riproduci video
Ewa Kasp
Libristo ha la più grande selezione di letteratura in lingue straniere. Per questo compro i miei libri qui.

Informazioni sul libro

Titolo completo Formal Verification of Object-Oriented Software
Autore Bernhard Beckert
Lingua Inglese
Rilegatura Libro - In brossura
Data di pubblicazione 2011
Numero di pagine 199
EAN 9783642180699
ISBN 3642180698
Codice Libristo 01297498
Casa editrice Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Peso 331
Dimensioni 155 x 235 x 13

Categorie

Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Ingegneria del software > Test e verifica del software
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Interazione uomo-macchina > Architettura dell’informazione
Informatica e Tecnologia dell’Informazione > Hardware informatico > Manutenzione e riparazione
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Compilatori e interpreti
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Programmazione orientata agli oggetti (OOP)
Informatica e Tecnologia dell’Informazione > Programmazione / ingegneria del software > Linguaggi di programmazione e scripting: generale
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Teoria matematica della computazione
Informatica e Tecnologia dell’Informazione > Scienza dei calcolatori > Architettura e progettazione logica dei computer
Regala questo libro oggi stesso
È facile
1 Aggiungi il libro al carrello e scegli la consegna come regalo 2 Ti invieremo subito il buono 3 Il libro arriverà all'indirizzo del destinatario

Potrebbe interessarti anche

water me water you we grow together Crystal Prince / Libro In brossura
common.buy 17.29 €
Eaf! Dog Days of Summer D J Hoard / Libro In brossura
common.buy 7.99 €
Distinguishing Marks of a Work of the Spirit of God. Extracted from Mr. Edwards. ... by John Wesley, ... Jonathan Edwards / Libro In brossura
common.buy 18.89 €
Back to Zero Gil Rendle / Libro In brossura
common.buy 13.49 €
Logic of Thought of Investigation and of Knowledge Vol I Hermann Lotze / Libro Rigido
common.buy 39.69 €
Raising Godly Children in an Ungodly World: Leaving a Lasting Legacy Ken Ham / Libro In brossura
common.buy 11.19 €
I migliori
Stephen Shore: Uncommon Places Stephan Schmidt-Wulffen / Libro Rigido
common.buy 51.29 €
Death in the Sahara: The Lords of the Desert and the Timbuktu Railway Expedition Massacre Michael Asher / Libro In brossura
common.buy 14.49 €
Tornadoes Mari C. Schuh / Libro In brossura
common.buy 8.79 €
China Classic Paintings Art History Series - Book 1: Mythology: English Version Zhou Wenjing / Libro In brossura
common.buy 13.49 €
Rethinking New Womanhood Nazia Hussein / Libro Rigido
common.buy 121.69 €
Artist Formerly Known as Adolf Hitler A.M OVERETT / Libro In brossura
common.buy 14.99 €
I migliori
The Hot Rats Book Bill Gubbins / Libro Rigido
common.buy 31.99 €
Anglo-American Insanity Defence Reform Faye Boland / Libro In brossura
common.buy 52.49 €
Cycling Chef: Recipes for Getting Lean and Fuelling the Machine Alan Murchison / Libro Rigido
common.buy 26.19 €
Quantum Pythagoreans Ivsin / Libro In brossura
common.buy 27.09 €
The Near East: A Modern History William Yale / Libro Rigido
common.buy 57.29 €
Stochastic Service Systems: The Siam Series in Applied Mathematics John Riordan / Libro Rigido
common.buy 39.69 €
I migliori
Cambridge Primary English Workbook 1 with Digital Access (1 Year) Gill Budgell / Libro In brossura
common.buy 16.79 €
Fascism Roger Griffin / Libro In brossura
common.buy 14.39 €
Maths - No Problem! Measuring, Ages 4-6 (Key Stage 1) Maths — No Problem! / Libro In brossura
common.buy 5.89 €
Professor X: A Blue Devils MC Kiki Leach / Libro In brossura
common.buy 17.29 €
Structural Equation Modelling with Partial Least Squares Using Stata and R Mehmetoglu / Libro In brossura
common.buy 74.39 €
"They Say / I Say" with Readings Gerald Graff / Libro Rigido
common.buy 71.29 €

Accesso

Accedi al tuo account. Non hai ancora un account Libristo? Crealo ora!

 
obbligatorio
obbligatorio
Password dimenticata

Non hai un account? Ottieni i vantaggi di un account Libristo!

Con un account Libristo, avrai tutto sotto controllo.

Crea un account Libristo
Consulente di libri Libroamiko
Ciao, sono Libroamiko, posso aiutarti?