9783540489283 - leveraging applications of formal methods: first international symposium, isola 2004, paphos, cyprus, october/november 2004, revised selected papers: ... notes in computer science, 4313, band 4313) (17 Ergebnisse)
- Softcover
Anbieter: BookOrders, Russell, IA, USABookOrders
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Ausreichend
EUR 26,80
EUR 3,47 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
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.
- Softcover
Anbieter: GuthrieBooks, Spring Branch, TX, USAGuthrieBooks
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Gut
EUR 27,67
EUR 6,06 VersandVersand innerhalb von USAAnzahl: 1 verfügbar
Paperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 58,36
EUR 2,29 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: Basi6 International, Irving, TX, USABasi6 International
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 60,73
Versand gratisVersand innerhalb von USAAnzahl: 10 verfügbar
Zustand: Brand New. New. Delivery takes 25-30 days. Excellent Customer Service.
- Softcover
Anbieter: GreatBookPrices, Columbia, MD, USAGreatBookPrices
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 59,01
EUR 2,29 VersandVersand innerhalb von USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
- Softcover
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes KönigreichRia Christie Collections
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,26
EUR 14,03 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. In.
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 61,25
EUR 17,56 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New.
- Softcover
Anbieter: Books Puddle, New York, NY, USABooks Puddle
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 77,94
EUR 3,46 VersandVersand innerhalb von USAAnzahl: 4 verfügbar
Zustand: New. pp. 216.
- Softcover
Anbieter: GreatBookPricesUK, Woodford Green, Vereinigtes KönigreichGreatBookPricesUK
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Gebraucht - Wie neu
EUR 65,03
EUR 17,56 VersandVersand von Vereinigtes Königreich nach USAAnzahl: Mehr als 20 verfügbar
Zustand: As New. Unread book in perfect condition.
- Softcover
Anbieter: Revaluation Books, Exeter, Vereinigtes KönigreichRevaluation Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 77,93
EUR 11,71 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 2 verfügbar
Paperback. Zustand: Brand New. 1st edition. 197 pages. 9.20x6.00x0.40 inches. In Stock.
- Softcover
Anbieter: AHA-BUCH GmbH, Einbeck, DeutschlandAHA-BUCH GmbH
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 61,65 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 re…lated to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems.
- Softcover
- Print-on-Demand
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, DeutschlandBuchWeltWeit Ludwig Meier e.K.
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 23,00 VersandVersand von Deutschland nach USAAnzahl: 2 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 d…iscuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems. 212 pp. Englisch.
- Softcover
- Print-on-Demand
Anbieter: Majestic Books, Hounslow, Vereinigtes KönigreichMajestic Books
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 77,57
EUR 7,61 VersandVersand von Vereinigtes Königreich nach USAAnzahl: 4 verfügbar
Zustand: New. Print on Demand pp. 216 Illus.
- Softcover
- Print-on-Demand
Anbieter: Biblios, frankfurt am main, HESSE, DeutschlandBiblios
Verkäufer/-in kontaktierenVerkäufer/-in mit 4 SternenZustand: Neu
EUR 79,40
EUR 9,95 VersandVersand von Deutschland nach USAAnzahl: 4 verfügbar
Zustand: New. PRINT ON DEMAND pp. 216.
- Softcover
- Print-on-Demand
Anbieter: moluna, Greven, Deutschlandmoluna
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 48,37
EUR 48,99 VersandVersand von Deutschland nach USAAnzahl: Mehr als 20 verfügbar
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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 revise…d full papers discuss issues.
- Softcover
- Print-on-Demand
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschlandbuchversandmimpf2000
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 53,49
EUR 60,00 VersandVersand von Deutschland nach USAAnzahl: 1 verfügbar
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Interaction and Coordination of Tools for Structured Data.- Modelling Coordination in Biological Systems.- A Rule Markup Language and Its Application to UML.- Using XML Transformations for Enterprise Architectures.- Classification and Uti…lization of Abstractions for Optimization.- On the Correctness of Transformations in Compiler Back-Ends.- Accurate Theorem Proving for Program Verification.- Designing Safe, Reliable Systems Using Scade.- Decreasing Maintenance Costs by Introducing Formal Analysis of Real-Time Behavior in Industrial Settings.- Static Timing Analysis of Real-Time Operating System Code.- A Case Study in Domain-Customized Model Checking for Real-Time Component Software.- Models for Contract Conformance.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 212 pp. Englisch.
Weitere Bilder- Softcover
- Print-on-Demand
Anbieter: preigu, Osnabrück, Deutschlandpreigu
Verkäufer/-in kontaktierenVerkäufer/-in mit 5 SternenZustand: Neu
EUR 50,25
EUR 70,00 VersandVersand von Deutschland nach USAAnzahl: 5 verfügbar
Taschenbuch. Zustand: Neu. Leveraging Applications of Formal Methods | First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers | Tiziana Maragria (u. a.) | Taschenbuch | vi | Englisch | 2006 | Springer | EAN 9783540489283 | Verantwortliche Person für die EU: Springer Verl…ag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
