Idioma: Inglés
Publicado por Harcourt, 1956
Librería: Redux Books, Grand Rapids, MI, Estados Unidos de America
EUR 14,82
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: 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!
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 53,44
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: BargainBookStores, Grand Rapids, MI, Estados Unidos de America
EUR 58,93
Cantidad disponible: 5 disponibles
Añadir al carritoPaperback or Softback. Condición: New. Integrated Formal Methods: 9th International Conference, Ifm 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Book.
Librería: California Books, Miami, FL, Estados Unidos de America
EUR 61,06
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 61,76
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 61,76
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 58,13
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 61,15
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Lacey Books Ltd, Cirencester, Reino Unido
EUR 54,71
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Very Good. 1999 McDonald Institute large format hardcover edition. Light reading wear else very good condition.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 67,99
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Springer-Verlag New York Inc, 2012
ISBN 10: 3642307280 ISBN 13: 9783642307287
Librería: Revaluation Books, Exeter, Reino Unido
EUR 81,39
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 2012 edition. 372 pages. 9.25x6.10x0.84 inches. In Stock.
Publicado por Hale, GB, 1983
Librería: Richard Sylvanus Williams (Est 1976), WINTERTON, Reino Unido
Original o primera edición
EUR 18,85
Cantidad disponible: 1 disponibles
Añadir al carritoHardback. Condición: VG+. Estado de la sobrecubierta: VG DW. Helen Pask (DW) Ilustrador. 1st Edition.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2012
ISBN 10: 3642307280 ISBN 13: 9783642307287
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Idioma: Inglés
Publicado por Windmill Publications, Inc., 1996
Librería: Keeps Books, Wilmington, IL, Estados Unidos de America
EUR 134,66
Cantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: 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.
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 46,22
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: new. Questo è un articolo print on demand.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg Jun 2012, 2012
ISBN 10: 3642307280 ISBN 13: 9783642307287
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: 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.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg, 2012
ISBN 10: 3642307280 ISBN 13: 9783642307287
Librería: moluna, Greven, Alemania
EUR 48,37
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: 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.
Idioma: Inglés
Publicado por Springer, Springer Jun 2012, 2012
ISBN 10: 3642307280 ISBN 13: 9783642307287
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoTaschenbuch. Condición: 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.