Published by Independently published, 2019
ISBN 10: 1712240080 ISBN 13: 9781712240083
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. 28 pages. 11.69x8.27x0.07 inches. In Stock.
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, 2016
ISBN 10: 3319289330 ISBN 13: 9783319289335
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Condition: New.
Published by Springer, 2016
ISBN 10: 3319289330 ISBN 13: 9783319289335
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Condition: New.
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: Majestic Books, Hounslow, United Kingdom
Condition: New. Print on Demand 179.
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 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, 2016
ISBN 10: 3319289330 ISBN 13: 9783319289335
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
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, 2016
ISBN 10: 3319289330 ISBN 13: 9783319289335
Seller: GreatBookPricesUK, Castle Donington, DERBY, United Kingdom
Condition: New.
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 Jan 2016, 2016
ISBN 10: 3319289330 ISBN 13: 9783319289335
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 revised selected papers fromthe 12th International Conference on Formal Aspects of Component Software, FACS2015, held in Niterói, Brazil, in October 2015.The 15 full papers and 2 invited papers presented in thisvolume were carefully reviewed and selected from 33 submissions. They areorganized in topical sections, namely quality of service to withstand faults,component-based software development through research on mathematical modelsfor components, composition and adaptation; rigorous approaches toverification, deployment, testing, and certification. 344 pp. Englisch.
Published by Springer-Verlag New York Inc, 2016
ISBN 10: 3319289330 ISBN 13: 9783319289335
Seller: Revaluation Books, Exeter, United Kingdom
Paperback. Condition: Brand New. revised edition. 344 pages. 9.25x6.10x0.78 inches. In Stock.
Published by Springer, 2016
ISBN 10: 3319289330 ISBN 13: 9783319289335
Seller: booksXpress, Bayonne, NJ, U.S.A.
Soft Cover. Condition: new.
Published by Springer 2016-01, 2016
ISBN 10: 3319289330 ISBN 13: 9783319289335
Seller: Chiron Media, Wallingford, United Kingdom
PF. Condition: New.
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, 2016
ISBN 10: 3319289330 ISBN 13: 9783319289335
Seller: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Ireland
First Edition
Condition: New. Editor(s): Braga, Christiano; Olveczky, Peter Csaba. Series: Lecture Notes in Computer Science. Num Pages: 331 pages, 118 colour illustrations, biography. BIC Classification: PBCD; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 528. . 2016. 1st ed. 2016. paperback. . . . .
Published by Springer International Publishing, 2016
ISBN 10: 3319289330 ISBN 13: 9783319289335
Seller: AHA-BUCH GmbH, Einbeck, Germany
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the revised selected papers fromthe 12th International Conference on Formal Aspects of Component Software, FACS2015, held in Niterói, Brazil, in October 2015.The 15 full papers and 2 invited papers presented in thisvolume were carefully reviewed and selected from 33 submissions. They areorganized in topical sections, namely quality of service to withstand faults,component-based software development through research on mathematical modelsfor components, composition and adaptation; rigorous approaches toverification, deployment, testing, and certification.
Published by Springer International Publishing, 2015
ISBN 10: 331915074X ISBN 13: 9783319150741
Seller: moluna, Greven, Germany
Kartoniert / Broschiert. Condition: New.
Published by Springer, 2016
ISBN 10: 3319289330 ISBN 13: 9783319289335
Seller: Kennys Bookstore, Olney, MD, U.S.A.
Condition: New. Editor(s): Braga, Christiano; Olveczky, Peter Csaba. Series: Lecture Notes in Computer Science. Num Pages: 331 pages, 118 colour illustrations, biography. BIC Classification: PBCD; UMZ. Category: (P) Professional & Vocational. Dimension: 235 x 155 x 18. Weight in Grams: 528. . 2016. 1st ed. 2016. paperback. . . . . Books ship from the US and Ireland.
Published by Springer International Publishing, 2016
ISBN 10: 3319289330 ISBN 13: 9783319289335
Seller: moluna, Greven, Germany
Condition: New.