Condizione: As New. Unread book in perfect condition.
Condizione: New.
Condizione: NEW.
Lingua: Inglese
Editore: Springer International Publishing AG, CH, 2017
ISBN 10: 3319708473 ISBN 13: 9783319708478
Da: Rarewaves.com USA, London, LONDO, Regno Unito
EUR 71,45
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 1st ed. 2017.
Da: Chiron Media, Wallingford, Regno Unito
EUR 58,72
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 59,67
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 63,40
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 70,32
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 65,71
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: Springer International Publishing AG, 2017
ISBN 10: 3319708473 ISBN 13: 9783319708478
Da: PBShop.store UK, Fairford, GLOS, Regno Unito
EUR 59,68
Quantità: 1 disponibili
Aggiungi al carrelloPAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
Lingua: Inglese
Editore: Springer International Publishing AG, 2017
ISBN 10: 3319708473 ISBN 13: 9783319708478
Da: PBShop.store US, Wood Dale, IL, U.S.A.
PAP. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
Da: Chiron Media, Wallingford, Regno Unito
EUR 68,83
Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
Condizione: New.
EUR 52,98
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: NEW.
Lingua: Inglese
Editore: Springer International Publishing, 2017
ISBN 10: 3319708473 ISBN 13: 9783319708478
Da: moluna, Greven, Germania
EUR 67,49
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
Da: Revaluation Books, Exeter, Regno Unito
EUR 97,88
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 316 pages. 9.25x6.10x0.72 inches. In Stock.
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 69,54
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Da: preigu, Osnabrück, Germania
EUR 63,80
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
Lingua: Inglese
Editore: Springer International Publishing AG, CH, 2017
ISBN 10: 3319708473 ISBN 13: 9783319708478
Da: Rarewaves.com UK, London, Regno Unito
EUR 65,37
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 1st ed. 2017.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 147,83
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: New. New. book.
Da: Brook Bookstore On Demand, Napoli, NA, Italia
EUR 58,23
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
Lingua: Inglese
Editore: Springer International Publishing Nov 2017, 2017
ISBN 10: 3319708473 ISBN 13: 9783319708478
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 69,54
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 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.
Da: Revaluation Books, Exeter, Regno Unito
EUR 71,65
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 316 pages. 9.25x6.10x0.72 inches. In Stock. This item is printed on demand.
Lingua: Inglese
Editore: Springer, Springer Nov 2017, 2017
ISBN 10: 3319708473 ISBN 13: 9783319708478
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 69,54
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Formal methods integration and experience reports.- Model checking.- Refinement and verification.- Semantics and languages.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 316 pp. Englisch.