Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings (Programming and Software Engineering, Band 8941) - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Von der hinteren Coverseite
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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Formal Methods: Foundations and Applications: 17th...
Beispielbild für diese ISBN
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Anbieter: Revaluation Books, Exeter, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Brand New. 2015 edition. 192 pages. 9.30x6.20x0.60 inches. In Stock. Artikel-Nr. x-331915074X
Neu kaufen
EUR 63,12
EUR 11,55 shipping
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: 2 verfügbar
Beispielbild für diese ISBN
Formal Methods: Foundations and Applications
Verlag:
Springer International Publishing AG, 2015
ISBN 10: 331915074X
ISBN 13: 9783319150741
Neu
Softcover
Anbieter: Kennys Bookstore, Olney, MD, USA
Verkäuferbewertung 4 von 5 Sternen
Zustand: 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. Artikel-Nr. V9783319150741
Neu kaufen
EUR 70,08
EUR 8,98 shipping
Versand innerhalb von USA
Versand innerhalb von USA
Anzahl: 15 verfügbar
Foto des Verkäufers
Formal Methods: Foundations and Applications
Verlag:
Springer International Publishing, 2015
ISBN 10: 331915074X
ISBN 13: 9783319150741
Neu
Softcover
Anbieter: moluna, Greven, Deutschland
Verkäuferbewertung 4 von 5 Sternen
Zustand: New. Artikel-Nr. 4499494
Neu kaufen
EUR 39,61
EUR 48,99 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Formal Methods: Foundations and Applications : 17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
ISBN 10: 331915074X
ISBN 13: 9783319150741
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: 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. Artikel-Nr. 9783319150741
Neu kaufen
EUR 42,80
EUR 61,50 shipping
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar