Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November 12-16, 2018, Proceedings - Couverture souple
Synopsis
This book constitutes the refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018, held in Gold Coast, QLD, Australia, in November 2018. The 22 revised full papers presented together with 14 short papers were carefully reviewed and selected from 66 submissions. The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Formal Methods and Software Engineering: 20th International...
Image d'archives
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November . (Programming and Software Engineering)
Edité par
Springer, 2018
ISBN 10 : 3030024490
ISBN 13 : 9783030024499
Ancien ou d'occasion
paperback
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
paperback. Etat : Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! N° de réf. du vendeur S_398003892
Acheter D'occasion
EUR 35,21
Frais de port :
EUR 3,24
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November ... (Programming and Software Engineering)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020002919
Acheter neuf
EUR 53,40
Frais de port :
EUR 3,45
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, Icfem 2018, Gold Coast, Qld, Australia, November 12-16, 2018, Proceedings
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 33810829-n
Acheter neuf
EUR 54,60
Frais de port :
EUR 2,28
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, Icfem 2018, Gold Coast, Qld, Australia, November 12-16, 2018, Proceedings
Edité par
Springer, 2018
ISBN 10 : 3030024490
ISBN 13 : 9783030024499
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 33810829
Acheter D'occasion
EUR 60,74
Frais de port :
EUR 2,28
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November ... (Programming and Software Engineering)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783030024499_new
Acheter neuf
EUR 59,52
Frais de port :
EUR 13,62
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, Novembe
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783030024499
Acheter neuf
EUR 56,13
Frais de port :
EUR 17,61
De Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Formal Methods and Software Engineering : 20th International Conference on Formal Engineering Methods, Icfem 2018, Gold Coast, Qld, Australia, November 12-16, 2018, Proceedings
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 33810829-n
Acheter neuf
EUR 59,03
Frais de port :
EUR 17,06
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Formal Methods and Software Engineering
Edité par
Springer International Publishing Okt 2018, 2018
ISBN 10 : 3030024490
ISBN 13 : 9783030024499
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 refereed proceedings of the 20th International Conference on Formal Engineering Methods, ICFEM 2018,held in Gold Coast, QLD, Australia, in November 2018.The 22 revised full papers presented together with 14 short papers were carefully reviewed andselected from 66 submissions.The conference focuses on all areas related to formal engineering methods, such as verification; network systems; type theory; theorem proving; logic and semantics; refinement and transition systems; and emerging applications of formal methods. 496 pp. Englisch. N° de réf. du vendeur 9783030024499
Acheter neuf
EUR 53,49
Frais de port :
EUR 23
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Formal Methods And Software Engineering
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur V9783030024499
Acheter neuf
EUR 70,57
Frais de port :
EUR 10,50
De Irlande vers Etats-Unis
Quantité disponible : 15 disponible(s)
Image d'archives
Formal Methods and Software Engineering: 20th International Conference on Formal Engineering Methods, ICFEM 2018, Gold Coast, QLD, Australia, November . (Programming and Software Engineering)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. 1st ed. 2018 edition NO-PA16APR2015-KAP. N° de réf. du vendeur 26376475716
Acheter neuf
EUR 78,56
Frais de port :
EUR 3,45
Vers Etats-Unis
Quantité disponible : 4 disponible(s)