Published by Springer, 2015
ISBN 10: 331915074X ISBN 13: 9783319150741
Seller: booksXpress, Bayonne, NJ, U.S.A.
Soft Cover. Condition: new.
Published by Springer, 2015
ISBN 10: 331915074X ISBN 13: 9783319150741
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Published by Springer, 2015
ISBN 10: 331915074X ISBN 13: 9783319150741
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
Published by Springer, 2015
ISBN 10: 331915074X ISBN 13: 9783319150741
Seller: Antiquariat Bookfarm, Löbnitz, Germany
2015. 192 Seiten Buch in neuwertigem Zustand. Wirkt unbenutzt. Lediglich Mini-BibSignatur auf buchrücken und Barcode auf Vorsatz. 9783319150741 Sprache: Englisch Gewicht in Gramm: 272 Taschenbuch, Größe: 15.5 x 1.1 x 23.5 cm.
Published by Springer, 2015
ISBN 10: 331915074X ISBN 13: 9783319150741
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: As New. Unread book in perfect condition.
Published by Springer, 2015
ISBN 10: 331915074X ISBN 13: 9783319150741
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Published by Springer, 2015
ISBN 10: 331915074X ISBN 13: 9783319150741
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. 179.
Published by Springer 2015-01, 2015
ISBN 10: 331915074X ISBN 13: 9783319150741
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New.
Published by Springer, 2015
ISBN 10: 331915074X ISBN 13: 9783319150741
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: New.
Published by Springer, 2015
ISBN 10: 331915074X ISBN 13: 9783319150741
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 2015 edition. 192 pages. 9.30x6.20x0.60 inches. In Stock.
Published by Springer, 2015
ISBN 10: 331915074X ISBN 13: 9783319150741
Seller: Majestic Books, Hounslow, United Kingdom
Condition: New. Print on Demand 179.
Published by Springer International Publishing Jan 2015, 2015
ISBN 10: 331915074X ISBN 13: 9783319150741
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014.The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area. 192 pp. Englisch.
Published by Springer International Publishing AG, 2015
ISBN 10: 331915074X ISBN 13: 9783319150741
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
Condition: New. Editor(s): Braga, Christiano; Marti-Oliet, Narciso. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 188 pages, 39 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 10. Weight in Grams: 302. . 2015. Paperback. . . . .
Published by Springer, 2015
ISBN 10: 331915074X ISBN 13: 9783319150741
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: As New. Unread book in perfect condition.
Published by Springer International Publishing, Springer International Publishing, 2015
ISBN 10: 331915074X ISBN 13: 9783319150741
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference proceedings of the 17th Brazilian Symposium on Formal Methods, SBMF 2014, held in Maceió, Brazil, in September/October 2014.The 9 revised full papers presented together with 2 invited talks were carefully reviewed and selected from 34 submissions. SBMF is an event devoted to the dissemination of the development and use of formal methods for the construction of high quality computational systems, aiming to promote opportunities for researchers with interests in formal methods to discuss the recent advances in this area.
Published by Springer International Publishing AG, 2015
ISBN 10: 331915074X ISBN 13: 9783319150741
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New. Editor(s): Braga, Christiano; Marti-Oliet, Narciso. Series: Lecture Notes in Computer Science / Programming and Software Engineering. Num Pages: 188 pages, 39 black & white illustrations, biography. BIC Classification: UMX; UMZ; UYA; UYZM. Category: (G) General (US: Trade). Dimension: 235 x 155 x 10. Weight in Grams: 302. . 2015. Paperback. . . . . Books ship from the US and Ireland.
Published by Springer International Publishing, 2015
ISBN 10: 331915074X ISBN 13: 9783319150741
Seller: moluna, Greven, Germany
Kartoniert / Broschiert. Condition: New.