Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October/November 2004, Revised Selected Papers: ... 4313 (Lecture Notes in Computer Science) - Softcover

9783540489283: Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October/November 2004, Revised Selected Papers: ... 4313 (Lecture Notes in Computer Science)

Softcover

ISBN 10: 3540489282 ISBN 13: 9783540489283

Verlag: Springer, 2002

Alle Exemplare dieser ISBN-Ausgabe

5 Gebraucht

Von EUR 26,50

14 Neu

Von EUR 52,25

This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004. The 12 revised full papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems.

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

Cr�ticas

From the reviews:

"The practical applications of formal methods are increasing. This book contains the main proceedings of an international symposium on leveraging applications of formal methods (IsoLA). It consists of 12 papers. ... I find the papers highly informative; they exemplify ways to leverage applications of formal methods. I recommend that practitioners explore such applications." (S. V. Nagaraj, ACM Computing Reviews, Vol. 49 (8), August, 2008)

Rese�a del editor

The 12 revised full papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems.

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

Verlag: Springer
Erscheinungsdatum: 2002
Sprache: Englisch
ISBN 10: 3540489282
ISBN 13: 9783540489283
Einband: Tapa blanda
Anzahl der Seiten: 216
Herausgeber: Margaria Tiziana
Kontakt zum Hersteller: Nicht verf�gbar
Verantwortliche Person: CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Gebraucht kaufen

Zustand: Ausreichend

Lecture Notes in Computer Science...

Diesen Artikel anzeigen

EUR 26,50

W�hrung umrechnen

EUR 3,43 f�r den Versand innerhalb von/der USA

Versandziele, Kosten & Dauer

In den Warenkorb

Neu kaufen

Diesen Artikel anzeigen

EUR 52,25

W�hrung umrechnen

EUR 3,42 f�r den Versand innerhalb von/der USA

Versandziele, Kosten & Dauer

In den Warenkorb

Suchergebnisse f�r Leveraging Applications of Formal Methods: First Internation...

Beispielbild f�r diese ISBN

Leveraging Applications of Formal Methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 : Revised Selected Papers

Tiziana Margaria; Bernhard Steffen (editors)

Verlag: Springer, 2006

ISBN 10: 3540489282 ISBN 13: 9783540489283

Gebraucht Soft Cover

Anbieter: BookOrders, Russell, IA, USA

Verk�uferbewertung 5 von 5 Sternen

Soft Cover. Zustand: Fair. Lecture Notes in Computer Science, 4313. Usual ex-library features. The interior is clean and tight. Binding is good. Cover shows slight wear. 196 pages. The book has a light bend from poor storage. Ex-Library. Bestandsnummer des Verk�ufers 033541

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 26,50

W�hrung umrechnen

Versand: EUR 3,43

Innerhalb der USA

Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers (Lecture Notes in Computer Science)

Maragria, Tiziana [Editor]; Steffen, Bernhard [Editor];

Verlag: Springer, 2006

ISBN 10: 3540489282 ISBN 13: 9783540489283

Gebraucht Paperback

Anbieter: GuthrieBooks, Spring Branch, TX, USA

Verk�uferbewertung 5 von 5 Sternen

Paperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Bestandsnummer des Verk�ufers UTD1520252

Verk�ufer kontaktieren

Gebraucht kaufen

EUR 45,49

W�hrung umrechnen

Versand: EUR 5,99

Innerhalb der USA

Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 4313)

Verlag: Springer, 2006

ISBN 10: 3540489282 ISBN 13: 9783540489283

Neu Softcover

Anbieter: Lucky's Textbooks, Dallas, TX, USA

Verk�uferbewertung 5 von 5 Sternen

Zustand: New. Bestandsnummer des Verk�ufers ABLIING23Mar3113020168237

Verk�ufer kontaktieren

Neu kaufen

EUR 52,25

W�hrung umrechnen

Versand: EUR 3,42

Innerhalb der USA

Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Foto des Verk�ufers

Leveraging Applications of Formal Methods : First International Symposium, Isola 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers

Maragria, Tiziana; Steffen, Bernhard (EDT)

Verlag: Springer, 2006

ISBN 10: 3540489282 ISBN 13: 9783540489283

Neu Softcover

Anbieter: GreatBookPrices, Columbia, MD, USA

Verk�uferbewertung 5 von 5 Sternen

Zustand: New. Bestandsnummer des Verk�ufers 6429915-n

Verk�ufer kontaktieren

Neu kaufen

EUR 53,44

W�hrung umrechnen

Versand: EUR 2,26

Innerhalb der USA

Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Leveraging Applications of Formal Methods (Paperback)

Tiziana Maragria

Verlag: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2006

ISBN 10: 3540489282 ISBN 13: 9783540489283

Neu Paperback

Anbieter: Grand Eagle Retail, Mason, OH, USA

Verk�uferbewertung 5 von 5 Sternen

Paperback. Zustand: new. Paperback. This book constitutes the thoroughly refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, held in Paphos, Cyprus in October/November 2004. The 12 revised full papers discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems. Constitutes the refereed post-proceedings of the First International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004, that was held in Paphos, Cyprus in October/November 2004. This title presents 12 revised full papers that discuss issues related to the adoption and use of rigorous tools and methods for the specification. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Bestandsnummer des Verk�ufers 9783540489283

Verk�ufer kontaktieren

Neu kaufen

EUR 62,25

W�hrung umrechnen

Versand: Gratis

Innerhalb der USA

Versandziele, Kosten & Dauer

Anzahl: 1 verf�gbar

In den Warenkorb

Beispielbild f�r diese ISBN

Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 4313)

Verlag: Springer, 2006

ISBN 10: 3540489282 ISBN 13: 9783540489283

Neu Softcover

Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes K�nigreich

Verk�uferbewertung 5 von 5 Sternen

Zustand: New. In. Bestandsnummer des Verk�ufers ria9783540489283_new

Verk�ufer kontaktieren

Neu kaufen

EUR 59,85

W�hrung umrechnen

Versand: EUR 13,70

Von Vereinigtes K�nigreich nach USA

Versandziele, Kosten & Dauer

Anzahl: Mehr als 20 verf�gbar

In den Warenkorb

Foto des Verk�ufers