Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 64,13
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 65,15
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
Librería: Speedyhen LLC, Hialeah, FL, Estados Unidos de America
EUR 67,51
Cantidad disponible: 2 disponibles
Añadir al carritoCondición: NEW.
Idioma: Inglés
Publicado por Springer International Publishing AG, CH, 2017
ISBN 10: 3319708473 ISBN 13: 9783319708478
Librería: Rarewaves.com USA, London, LONDO, Reino Unido
EUR 71,27
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. 1st ed. 2017.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 62,80
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 59,11
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 60,07
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 70,32
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 66,17
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Idioma: Inglés
Publicado por Springer International Publishing AG, 2017
ISBN 10: 3319708473 ISBN 13: 9783319708478
Librería: PBShop.store UK, Fairford, GLOS, Reino Unido
EUR 60,08
Cantidad disponible: 1 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
Idioma: Inglés
Publicado por Springer International Publishing AG, 2017
ISBN 10: 3319708473 ISBN 13: 9783319708478
Librería: PBShop.store US, Wood Dale, IL, Estados Unidos de America
EUR 86,62
Cantidad disponible: 1 disponibles
Añadir al carritoPAP. Condición: New. New Book. Shipped from UK. Established seller since 2000.
Librería: Chiron Media, Wallingford, Reino Unido
EUR 69,29
Cantidad disponible: 10 disponibles
Añadir al carritoPF. Condición: New.
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de America
EUR 88,20
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
EUR 53,33
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: NEW.
Idioma: Inglés
Publicado por Springer International Publishing, 2017
ISBN 10: 3319708473 ISBN 13: 9783319708478
Librería: moluna, Greven, Alemania
EUR 67,49
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: New.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 99,38
Cantidad disponible: 2 disponibles
Añadir al carritoPaperback. Condición: Brand New. 316 pages. 9.25x6.10x0.72 inches. In Stock.
Idioma: Inglés
Publicado por Springer International Publishing, Springer Nature Switzerland Nov 2017, 2017
ISBN 10: 3319708473 ISBN 13: 9783319708478
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 69,54
Cantidad disponible: 2 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Neuware -This book constitutes the refereed proceedings of the 20th BrazilianSymposium on Formal Methods, SBMF 2017, which took place in Recifel,Brazil, in November/December 2017.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 316 pp. Englisch.
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 69,54
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 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages.The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.
Librería: preigu, Osnabrück, Alemania
EUR 63,90
Cantidad disponible: 5 disponibles
Añadir al carritoTaschenbuch. Condición: Neu. Formal Methods: Foundations and Applications | 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings | Simone Cavalheiro (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2017 | Springer | EAN 9783319708478 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Idioma: Inglés
Publicado por Springer International Publishing AG, CH, 2017
ISBN 10: 3319708473 ISBN 13: 9783319708478
Librería: Rarewaves.com UK, London, Reino Unido
EUR 65,80
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. 1st ed. 2017.
Librería: Mispah books, Redhill, SURRE, Reino Unido
EUR 148,81
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: New. New. book.
Librería: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 58,23
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 International Publishing Nov 2017, 2017
ISBN 10: 3319708473 ISBN 13: 9783319708478
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 69,54
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 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages.The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license. 316 pp. Englisch.
Librería: Revaluation Books, Exeter, Reino Unido
EUR 72,12
Cantidad disponible: 1 disponibles
Añadir al carritoPaperback. Condición: Brand New. 316 pages. 9.25x6.10x0.72 inches. In Stock. This item is printed on demand.