Lingua: Inglese
Editore: Harcourt, 1956
Da: Redux Books, Grand Rapids, MI, U.S.A.
Hardcover. Condizione: Good. Hardcover. No dust jacket. Pages are clean and unmarked. Covers show light edge wear with rubbing/light scuffing. Binding is tight, hinges strong.; 100% Satisfaction Guaranteed! Ships same or next business day!
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 53,44
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Paperback or Softback. Condizione: New. Integrated Formal Methods: 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Book.
Da: California Books, Miami, FL, U.S.A.
EUR 61,06
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 61,76
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 61,76
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Chiron Media, Wallingford, Regno Unito
EUR 58,13
Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 61,15
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Lacey Books Ltd, Cirencester, Regno Unito
EUR 54,71
Quantità: 1 disponibili
Aggiungi al carrelloHardcover. Condizione: Very Good. 1999 McDonald Institute large format hardcover edition. Light reading wear else very good condition.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 67,99
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2012
ISBN 10: 3642307280 ISBN 13: 9783642307287
Da: Revaluation Books, Exeter, Regno Unito
EUR 81,84
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2012 edition. 372 pages. 9.25x6.10x0.84 inches. In Stock.
Editore: Hale, GB, 1983
Da: Richard Sylvanus Williams (Est 1976), WINTERTON, Regno Unito
Prima edizione
EUR 18,85
Quantità: 1 disponibili
Aggiungi al carrelloHardback. Condizione: VG+. Condizione sovraccoperta: VG DW. Helen Pask (DW) (illustratore). 1st Edition.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2012
ISBN 10: 3642307280 ISBN 13: 9783642307287
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies.
Lingua: Inglese
Editore: Windmill Publications, Inc., 1996
Da: Keeps Books, Wilmington, IL, U.S.A.
hardcover. Condizione: Good. Cover has light wear. Name marked out inside cover. Name sticker inside cover. Text unmarked, pages clean and bright, binding tight. Ships Next Business Day.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 46,22
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Jun 2012, 2012
ISBN 10: 3642307280 ISBN 13: 9783642307287
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 53,49
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies. 372 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2012
ISBN 10: 3642307280 ISBN 13: 9783642307287
Da: moluna, Greven, Germania
EUR 48,37
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 results State of the art research Fast track conference proceedingsThis book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012.
Lingua: Inglese
Editore: Springer, Springer Jun 2012, 2012
ISBN 10: 3642307280 ISBN 13: 9783642307287
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 9th International Conference on Integrated Formal Methods, IFM 2012, held Pisa, Italy, in June 2012. The 20 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 59 submissions. The papers cover the spectrum of integrated formal methods, ranging from formal and semiformal notations, semantics, proof frameworks, refinement, verification, timed systems, as well as tools and case studies.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 372 pp. Englisch.