Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings: 7021 (Lecture Notes in Computer Science) - Softcover

9783642250316: Formal Methods: Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings: 7021 (Lecture Notes in Computer Science)

Softcover

ISBN 10: 3642250319 ISBN 13: 9783642250316

Verlag: Springer, 2011

Alle Exemplare dieser ISBN-Ausgabe

1 Gebraucht

Von EUR 42,78

5 Neu

Von EUR 48,74

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Rese�a del editor

��ber diesen Titel� kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag: Springer
Erscheinungsdatum: 2011
Sprache: Englisch
ISBN 10: 3642250319
ISBN 13: 9783642250316
Einband: Tapa blanda
Anzahl der Seiten: 216
Herausgeber: Simao Adenilso, Morgan Carroll
Kontakt zum Hersteller: Nicht verf�gbar
Verantwortliche Person: Nicht verf�gbar

Gebraucht kaufen

Zustand: Sehr gut

Zustand: Sehr gut | Seiten: 205...

Diesen Artikel anzeigen

EUR 42,78

W�hrung umrechnen

Gratis f�r den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

In den Warenkorb

Neu kaufen

Diesen Artikel anzeigen

EUR 48,74

W�hrung umrechnen

Gratis f�r den Versand innerhalb von/der Deutschland

Versandziele, Kosten & Dauer

In den Warenkorb

Weitere beliebte Ausgaben desselben Titels

9783642250330: Formal Methods: Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings

Vorgestellte Ausgabe

ISBN 10: 3642250335 ISBN 13: 9783642250330
Verlag: Springer, 2012
Softcover

Suchergebnisse f�r Formal Methods: Foundations and Applications: 14th...

Beispielbild f�r diese ISBN

Formal Methods: Foundations and Applications : 14th Brazilian Symposium, SBMF 2011, Sao Paulo, September 26-30 2011, Proceedings

Unbekannt

Verlag: Springer-Verlag GmbH, 2011

ISBN 10: 3642250319 ISBN 13: 9783642250316

Gebraucht Softcover

Anbieter: Buchpark, Trebbin, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 205 | Sprache: Englisch | Produktart: B�cher. Bestandsnummer des Verk�ufers 11624564/12

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 42,78

W�hrung umrechnen

Versand: Gratis

Innerhalb Deutschlands

Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Formal Methods: Foundations and Applications

Simao, Adenilso|Morgan, Carroll

Verlag: Springer Berlin Heidelberg, 2011

ISBN 10: 3642250319 ISBN 13: 9783642250316

Neu Softcover

Print-on-Demand

Anbieter: moluna, Greven, Deutschland

Verk�uferbewertung 5 von 5 Sternen

Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Up-to-date resultsFast track conference proceedingsState-of-the-art reportThis book constitutes the thoroughly refereed post-conference proceedings of the 14th Brazilian Symposium on Formal Methods, SBMF 2011, held in Sao Paulo, Bra. Bestandsnummer des Verk�ufers 5053766

Verk�ufer kontaktieren