Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 48,97
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: California Books, Miami, FL, U.S.A.
EUR 54,93
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 55,29
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 53,98
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Chiron Media, Wallingford, Regno Unito
EUR 50,54
Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 53,49
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 59,12
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Paperback or Softback. Condizione: New. Formal Verification of Object-Oriented Software: International Conference, Foveoo 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. Book.
Da: Revaluation Books, Exeter, Regno Unito
EUR 74,26
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. revised edition. 261 pages. 9.20x6.10x0.63 inches. In Stock.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2012
ISBN 10: 3642317618 ISBN 13: 9783642317613
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 49,22
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 43,04
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Jul 2012, 2012
ISBN 10: 3642317618 ISBN 13: 9783642317613
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 49,22
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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. 264 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2012
ISBN 10: 3642317618 ISBN 13: 9783642317613
Da: moluna, Greven, Germania
EUR 44,88
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Up-to-date resultsFast track conference proceedingsState-of-the-art reportThis book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoV.
Lingua: Inglese
Editore: Springer, Springer Jul 2012, 2012
ISBN 10: 3642317618 ISBN 13: 9783642317613
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 49,22
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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#. FoVeOOS 2011 aimed to foster collaboration and interactions among researchers in this area.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 264 pp. Englisch.