Leveraging Applications of Formal Methods: First International Symposium, ISoLA 2004, Paphos, Cyprus, October/November 2004, Revised Selected Papers - Couverture souple
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Leveraging Applications of Formal Methods: First Internation...
Image d'archives
Leveraging Applications of Formal Methods : First International Symposium, ISoLA 2004, Paphos, Cyprus, October 30 - November 2, 2004 : Revised Selected Papers
Edité par
Springer, 2006
ISBN 10 : 3540489282
ISBN 13 : 9783540489283
Ancien ou d'occasion
Soft Cover
Vendeur : BookOrders, Russell, IA, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Soft Cover. Etat : 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. N° de réf. du vendeur 033541
Acheter D'occasion
EUR 26,24
EUR 3,40 shipping
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
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)
Edité par
Springer, 2006
ISBN 10 : 3540489282
ISBN 13 : 9783540489283
Ancien ou d'occasion
Paperback
Vendeur : GuthrieBooks, Spring Branch, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. N° de réf. du vendeur UTD1520252
Acheter D'occasion
EUR 45,02
EUR 5,93 shipping
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
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)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020168237
Acheter neuf
EUR 51,73
EUR 3,39 shipping
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Leveraging Applications of Formal Methods : First International Symposium, Isola 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 6429915-n
Acheter neuf
EUR 52,91
EUR 2,24 shipping
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Leveraging Applications of Formal Methods : First International Symposium, Isola 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
Edité par
Springer, 2006
ISBN 10 : 3540489282
ISBN 13 : 9783540489283
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 6429915
Acheter D'occasion
EUR 58,91
EUR 2,24 shipping
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
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)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783540489283_new
Acheter neuf
EUR 58,21
EUR 13,73 shipping
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Leveraging Applications of Formal Methods
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 216. N° de réf. du vendeur 26302179
Acheter neuf
EUR 72,59
EUR 3,39 shipping
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Leveraging Applications of Formal Methods
Edité par
Springer Berlin Heidelberg Nov 2006, 2006
ISBN 10 : 3540489282
ISBN 13 : 9783540489283
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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 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. 212 pp. Englisch. N° de réf. du vendeur 9783540489283
Acheter neuf
EUR 53,49
EUR 23 shipping
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Leveraging Applications of Formal Methods : First International Symposium, Isola 2004, Paphos, Cyprus, October 30 - November 2, 2004, Revised Selected Papers
Edité par
Springer, 2006
ISBN 10 : 3540489282
ISBN 13 : 9783540489283
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 6429915
Acheter D'occasion
EUR 64,69
EUR 17,20 shipping
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Leveraging Applications of Formal Methods
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand pp. 216 Illus. N° de réf. du vendeur 7545788
Acheter neuf
EUR 75,47
EUR 7,45 shipping
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)