Condizione: New.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 53,66
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Paperback or Softback. Condizione: New. Formal Methods: Foundations and Applications: 13th Brazilian Symposium on Formal Methods, SBMF 2010, Natal, Brazil, November 8-11, 2010, Revised Selec. Book.
Da: California Books, Miami, FL, U.S.A.
EUR 61,23
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: California Books, Miami, FL, U.S.A.
EUR 61,23
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Condizione: As New. Unread book in perfect condition.
Da: GreatBookPrices, Columbia, MD, U.S.A.
EUR 61,24
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Condizione: New.
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2011
ISBN 10: 3642250319 ISBN 13: 9783642250316
Da: Rarewaves.com USA, London, LONDO, Regno Unito
EUR 65,50
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 2011. This book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Brazil, in September 2011; co-located with CBSoft 2011, the second Brazilian Conference on Software: Theory and Practice. The 13 revised full papers were carefully reviewed and selected from 37 submissions. The papers presented cover a broad range of foundational and methodological issues in formal methods for the design and analysis of software and hardware systems as well as applications in various domains.
Lingua: Inglese
Editore: Springer-Verlag Berlin and Heidelberg GmbH and Co. KG, DE, 2011
ISBN 10: 3642198287 ISBN 13: 9783642198281
Da: Rarewaves.com USA, London, LONDO, Regno Unito
EUR 67,02
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 2011th. This book constitutes the thoroughly refereed post-conferenceproceedings of the 13th Brazilian Symposium on Formal Methods, SBMF2010, held in Natal, Brazil, in November 2010.The 18 revised full papers were carefully reviewed and selected from55 submissions. The papers presented cover a broad range of foundationaland methodological issues in formal methods for the design and analysisof software and hardware systems as well as applications in variousdomains.
Condizione: As New. Unread book in perfect condition.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 61,52
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 61,52
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Ria Christie Collections, Uxbridge, Regno Unito
EUR 61,52
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
Da: Chiron Media, Wallingford, Regno Unito
EUR 57,84
Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 59,93
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 60,85
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 60,78
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlanda
EUR 69,09
Quantità: 15 disponibili
Aggiungi al carrelloCondizione: New.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 67,73
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 67,73
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Condizione: New. 1st ed. 2020 edition NO-PA16APR2015-KAP.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 67,48
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Revaluation Books, Exeter, Regno Unito
EUR 79,96
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 299 pages. 9.30x6.00x0.70 inches. In Stock.
Lingua: Inglese
Editore: Springer-Nature New York Inc, 2021
ISBN 10: 3030642755 ISBN 13: 9783030642754
Da: Revaluation Books, Exeter, Regno Unito
EUR 80,18
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 317 pages. 9.25x6.10x0.70 inches. In Stock.
Condizione: New.
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2011
ISBN 10: 3642250319 ISBN 13: 9783642250316
Da: Revaluation Books, Exeter, Regno Unito
EUR 99,02
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2011 edition. 203 pages. 9.00x6.00x0.50 inches. In Stock.
Lingua: Inglese
Editore: Springer International Publishing, 2020
ISBN 10: 3030642755 ISBN 13: 9783030642754
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 53,49
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the proceedings of the17th International Colloquium onTheoretical Aspects of Computing, ICTAC 2020, which took place during November 30-December 4, 2020.The conference was originally planned to take place in Macau, China, but changed to a virtual only format due to the COVID-19 pandemic.The 15 papers presented in this volume were carefully reviewed and selected from 40 submissions. The book also contains one invited talk in full paper length. The book deals with challenges in both theoretical aspects of computing and the exploitation of theory through methods and tools for system development.
Da: preigu, Osnabrück, Germania
EUR 50,40
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Theoretical Aspects of Computing - ICTAC 2020 | 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings | Violet Ka I Pun (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvi | Englisch | 2020 | Springer | EAN 9783030642754 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: Rarewaves.com UK, London, Regno Unito
EUR 60,79
Quantità: Più di 20 disponibili
Aggiungi al carrelloPaperback. Condizione: New. 2011th.