Specification algebra software essays (8 résultats)

Titre: 
Affiner les résultats avec une recherche avancée

Affiner la recherche

  • Livres (8)

En savoir plus

à

Fourchette de prix personnalisée (EUR)

à

  • Langue : anglais

    Edité par Springer 2014-02-25, 2014

    3642546234 / 9783642546235

    • Couverture souple

    Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 57,73

    EUR 18,07 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 10 disponible(s)

    Paperback. Etat : New.

  • Langue : anglais

    Edité par Springer, 2014

    3642546234 / 9783642546235

    • Couverture souple

    Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 61,03

    EUR 17,43 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : New. In English.

  • Langue : anglais

    Edité par Springer, 2014

    3642546234 / 9783642546235

    • Couverture souple

    Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 85,70

    EUR 14,58 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 2 disponible(s)

    Paperback. Etat : Brand New. 2014 edition. 656 pages. 9.00x6.00x1.50 inches. In Stock.

  • Langue : anglais

    Edité par Springer, 2014

    3642546234 / 9783642546235

    • Couverture souple

    Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 80,74

    EUR 37,59 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…

  • Autres images

    Langue : anglais

    Edité par Springer, 2014

    3642546234 / 9783642546235

    • Couverture souple

    Vendeur : preigu, Osnabrück, Allemagnepreigu

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 50,45

    EUR 70,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 5 disponible(s)

    Taschenbuch. Etat : Neu. Specification, Algebra, and Software | Essays Dedicated to Kokichi Futatsugi | Shusaku Iida (u. a.) | Taschenbuch | xxii | Englisch | 2014 | Springer | EAN 9783642546235 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. …

  • Langue : anglais

    Edité par Springer, 2014

    3642546234 / 9783642546235

    • Couverture souple

    Vendeur : Buchpark, Trebbin, AllemagneBuchpark

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Occasion - Très bon

    EUR 38,00

    EUR 105,00 expédition 
    Expédition depuis Allemagne vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    Etat : Sehr gut. Zustand: Sehr gut | Seiten: 680 | Sprache: Englisch | Produktart: Bücher | 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.…

  • Langue : anglais

    Edité par Springer, 2014

    3642546234 / 9783642546235

    • Couverture souple

    Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books

    Vendeur avec une évaluation de 4 étoiles
    Contacter le vendeur

    Etat: Occasion - Comme neuf

    EUR 117,74

    EUR 29,16 expédition 
    Expédition depuis Royaume-Uni vers Etats-Unis

    Quantité disponible : 1 disponible(s)

    Paperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.

  • Langue : anglais

    Edité par Springer, 2014

    3642546234 / 9783642546235

    • Couverture souple
    • impression à la demande

    Vendeur : Brook Bookstore On Demand, Napoli, NA, ItalieBrook Bookstore On Demand

    Vendeur avec une évaluation de 5 étoiles
    Contacter le vendeur

    Etat: Neuf

    EUR 46,22

    EUR 79,00 expédition 
    Expédition depuis Italie vers Etats-Unis

    Quantité disponible : Plus de 20 disponibles

    Etat : new. Questo è un articolo print on demand.