Synopsis
This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi is one of the founding fathers of the field of algebraic specification and verification and is a leading researcher in formal methods and software engineering. He has pioneered and advanced novel algebraic methods and languages supporting them such as OBJ and CafeOBJ and has worked tirelessly over the years to bring such methods and tools in contact with software engineering practice. This volume contains contributions from internationally leading researchers in formal methods and software engineering.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Autres éditions populaires du même titre
Résultats de recherche pour Specification, Algebra, and Software: Essays Dedicated...
Image d'archives
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi (Lecture Notes in Computer Science, 8373)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020230845
Acheter neuf
EUR 53,56
Frais de port :
EUR 3,44
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi (Lecture Notes in Computer Science, 8373)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783642546235_new
Acheter neuf
EUR 57,39
Frais de port :
EUR 13,59
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi (Lecture Notes in Computer Science)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783642546235
Acheter neuf
EUR 56,13
Frais de port :
EUR 17,57
De Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Specification, Algebra, and Software
Edité par
Springer Berlin Heidelberg Feb 2014, 2014
ISBN 10 : 3642546234
ISBN 13 : 9783642546235
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 Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi is one of the founding fathers of the field of algebraic specification and verification and is a leading researcher in formal methods and software engineering. He has pioneered and advanced novel algebraic methods and languages supporting them such as OBJ and CafeOBJ and has worked tirelessly over the years to bring such methods and tools in contact with software engineering practice. This volume contains contributions from internationally leading researchers in formal methods and software engineering. 680 pp. Englisch. N° de réf. du vendeur 9783642546235
Acheter neuf
EUR 53,49
Frais de port :
EUR 23
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
Specification, Algebra, and Software
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. pp. 680. N° de réf. du vendeur 26127751005
Acheter neuf
EUR 80,36
Frais de port :
EUR 3,44
Vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Specification, Algebra, and Software
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Print on Demand pp. 680. N° de réf. du vendeur 132836482
Acheter neuf
EUR 81,75
Frais de port :
EUR 7,37
De Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
Specification, Algebra, and Software
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. PRINT ON DEMAND pp. 680. N° de réf. du vendeur 18127750999
Acheter neuf
EUR 85,72
Frais de port :
EUR 9,95
De Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
Specification, Algebra, and Software
Edité par
Springer Berlin Heidelberg, 2014
ISBN 10 : 3642546234
ISBN 13 : 9783642546235
Neuf
Kartoniert / Broschiert
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Kartoniert / Broschiert. Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Dedicated to Kokichi Futatsugi, one of the founders of the field of algebraic specification and verification, and a leading researcher in formal methods and software engineeringIncludes contributions from leading researchers in formal methods and . N° de réf. du vendeur 5064141
Acheter neuf
EUR 48,37
Frais de port :
EUR 48,99
De Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 2014 edition. 656 pages. 9.00x6.00x1.50 inches. In Stock. N° de réf. du vendeur x-3642546234
Acheter neuf
EUR 84,68
Frais de port :
EUR 14,18
De Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image fournie par le vendeur
Specification, Algebra, and Software
Edité par
Springer Berlin Heidelberg, Springer Berlin Heidelberg Feb 2014, 2014
ISBN 10 : 3642546234
ISBN 13 : 9783642546235
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. Neuware -This Festschrift volume, published in honor of Kokichi Futatsugi, contains 31 invited contributions from internationally leading researchers in formal methods and software engineering. Prof. Futatsugi is one of the founding fathers of the field of algebraic specification and verification and is a leading researcher in formal methods and software engineering. He has pioneered and advanced novel algebraic methods and languages supporting them such as OBJ and CafeOBJ and has worked tirelessly over the years to bring such methods and tools in contact with software engineering practice. This volume contains contributions from internationally leading researchers in formal methods and software engineering.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 680 pp. Englisch. N° de réf. du vendeur 9783642546235
Acheter neuf
EUR 53,49
Frais de port :
EUR 60
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)