Da: Chiron Media, Wallingford, Regno Unito
EUR 52,15
Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
Condizione: New.
Condizione: New. pp. 240.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 55,07
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
Da: Revaluation Books, Exeter, Regno Unito
EUR 99,55
Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2012 edition. 237 pages. 9.25x6.25x0.50 inches. In Stock.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Aug 2012, 2012
ISBN 10: 3642332951 ISBN 13: 9783642332951
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
EUR 49,22
Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Neuware -This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 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.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 240 pp. Englisch.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2012
ISBN 10: 3642332951 ISBN 13: 9783642332951
Da: AHA-BUCH GmbH, Einbeck, Germania
EUR 49,22
Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 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.
Da: preigu, Osnabrück, Germania
EUR 46,70
Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Formal Methods: Foundations and Applications | 15th Brazilian Symposium, SBMF 2012, Natal, Brazil, September 23-28, 2012. Proceedings | Rohit Gheyi (u. a.) | Taschenbuch | x | Englisch | 2012 | Springer | EAN 9783642332951 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
Da: GreatBookPricesUK, Woodford Green, Regno Unito
EUR 111,43
Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
Da: Mispah books, Redhill, SURRE, Regno Unito
EUR 102,06
Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. Like New. book.
Condizione: As New. Unread book in perfect condition.
Da: Buchpark, Trebbin, Germania
EUR 32,74
Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Sehr gut. Zustand: Sehr gut | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
Lingua: Inglese
Editore: Springer Berlin Heidelberg Aug 2012, 2012
ISBN 10: 3642332951 ISBN 13: 9783642332951
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
EUR 49,22
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 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012; co-located with CBSoft 2012, the Third Brazilian Conference on Software: Theory and Practice. The 14 revised full papers presented together with 2 keynotes were carefully reviewed and selected from 29 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. 240 pp. Englisch.
Da: Majestic Books, Hounslow, Regno Unito
EUR 70,31
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 240 67 Illus.
Da: Biblios, Frankfurt am main, HESSE, Germania
EUR 72,25
Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 240.
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2012
ISBN 10: 3642332951 ISBN 13: 9783642332951
Da: moluna, Greven, Germania
EUR 44,88
Quantità: Più di 20 disponibili
Aggiungi al carrelloKartoniert / Broschiert. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Up to date results Fast track conference proceedings State of the art researchThis book constitutes the refereed proceedings of the 15th Brazilian Symposium on Formal Methods, SBMF 2012, held in Natal, Brazil, in September 2012 co-.