Michael g hinchey (132 résultats)

Langue : anglais

Edité par Bibliogov 2013

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Comme neuf

EUR 11,18

EUR 2,30 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation

Langue : anglais

Edité par Bibliogov 2013

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 12,18

EUR 2,30 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation (Paperback or Softback)

Langue : anglais

Edité par 7/29/2013 2013

Couverture souple

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores

Vendeur avec une évaluation de 5 étoiles

Hinchey, M.G. and Bowen, J.P. (eds)

Etat: Neuf

EUR 14,56

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponible(s)

Etat : New. Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation (Paperback or Softback).

Industrial-Strength Formal Methods in Practice

Langue : anglais

Edité par Springer 1999

1852336404 / 9781852336400

Couverture souple

Vendeur : Anybook.com, Lincoln, Royaume-UniAnybook.com

Vendeur avec une évaluation de 5 étoiles

0133669491 / 9780133669497

Etat: Occasion - Satisfaisant

EUR 4,51

EUR 15,68 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,700grams, ISBN:9781852336400.

Applications Of Formal Methods

Hinchey et Bowen

Langue : anglais

Edité par Prentice Hall 1995

Couverture rigide

Vendeur : Ammareal, Morangis, , FranceAmmareal

Vendeur avec une évaluation de 5 étoiles

C. Neville Dean et Michael G. Hinchey

Etat: Occasion - Très bon

EUR 6,17

EUR 16,50 expédition

Expédition depuis France vers Etats-Unis

Quantité disponible : 1 disponible(s)

Hardcover. Etat : Très bon. Ancien livre de bibliothèque. Edition 1995. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 1995. Ammareal gives back up to 15% of this item's net price to charity organizations.

Teaching and Learning Formal Methods

Langue : anglais

Edité par Morgan Kaufmann Publishers In 1996

0123490405 / 9780123490407

Couverture rigide

Vendeur : Ammareal, Morangis, , FranceAmmareal

Vendeur avec une évaluation de 5 étoiles

3540602712 / 9783540602712

Etat: Occasion - Très bon

EUR 6,49

EUR 16,50 expédition

Expédition depuis France vers Etats-Unis

Quantité disponible : 1 disponible(s)

Hardcover. Etat : Très bon. Ancien livre de bibliothèque. Petite(s) trace(s) de pliure sur la couverture. Légères traces d'usure sur la couverture. Salissures sur la tranche. Edition 1996. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good.…

ZUM '95 - The Z Formal Specification Notation : 9th International Conference of Z Users, Limerick, Ireland, September 1995, Proceedings

Langue : anglais

Edité par Springer Berlin / Heidelberg 1995

Couverture souple
Édition originale

Vendeur : Better World Books, Mishawaka, IN, Etats-UnisBetter World Books

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Satisfaisant

EUR 28,10

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Good. 1st Edition. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation

Langue : anglais

Edité par Bibliogov 2013

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Hinchey, M.G. et al. (Eds.)

Etat: Occasion - Comme neuf

EUR 16,17

EUR 17,30 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Formal Approaches to Agent-Based Systems. Second International Workshop, FAABS 2002. Revised Papers.

Langue : anglais

Edité par Berlin, Springer. 2003

Couverture souple

Vendeur : Universitätsbuchhandlung Herta Hold GmbH, Berlin, , AllemagneUniversitätsbuchhandlung Herta Hold GmbH

Vendeur avec une évaluation de 4 étoiles

Hinchey, Michael G. [Editor]; Rash, James L. [Editor]; Truszkowski, Walter F. [Editor]; Rouff, Christopher [Editor]; Gordon-Spears, Diana [Editor];

Etat: Occasion

EUR 10,00

EUR 30,00 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

IX, 295 p. Softcover. Versand aus Deutschland / We dispatch from Germany via Air Mail. Einband bestoßen, daher Mängelexemplar gestempelt, sonst sehr guter Zustand. Imperfect copy due to slightly bumped cover, apart from this in very good condition. Stamped. Lecture Notes in Artificial Intelligence, Vol. 2699. Sprache: Englisch.

Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers (Lecture . / Lecture Notes in Artificial Intelligence)

Langue : anglais

Edité par Springer 2003

Couverture souple

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks

Vendeur avec une évaluation de 5 étoiles

Etat: Occasion - Assez bon

EUR 36,33

EUR 6,09 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.

Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation

Langue : anglais

Edité par Bibliogov 2013

Couverture souple

Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 25,18

EUR 17,30 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Innovative Concepts For Autonomic And Agent-based Systems

Langue : anglais

Edité par Springer 2006

Couverture souple

Vendeur : Romtrade Corp., STERLING HEIGHTS, MI, Etats-UnisRomtrade Corp.

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 50,15

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.

Innovative Concepts For Autonomic And Agent-based Systems

0

Langue : anglais

Edité par Springer 2006

Couverture souple

Vendeur : Basi6 International, Irving, TX, Etats-UnisBasi6 International

Vendeur avec une évaluation de 5 étoiles

Bowen, Jonathan P.; Hinchey, Michael G. (Eds.)

Etat: Neuf

EUR 50,15

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

ZUM '95: The Z Formal Specification Notation: 9th International Conference of Z Users, Limerick, Ireland, September 7 - 9, 1995. Proceedings

Langue : anglais

Edité par Springer-Verlag 1995

3540602712 / 9783540602712

Couverture souple

Vendeur : George Cross Books, Lexington, MA, Etats-UnisGeorge Cross Books

Vendeur avec une évaluation de 5 étoiles

Butler, Michael (EDT); Hinchey, Michael G. (EDT); Larrondo-petrie, Maria M. (EDT)

Etat: Occasion

EUR 47,57

EUR 3,49 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Reprint edition. Very Good/Wraps (34594) Paperback. Clean, tight, unmarked. This is *NOT* an old library book. Lecture Notes in Computer Science Volume 967 This book presents the proceedings of the 9th International Conference of Z Users, ZUM '95, held in Limerick, Ireland in September 1995. The book contains 34 caref…

Formal Methods and Software Engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings

Langue : anglais

Edité par Springer 2007

3540766480 / 9783540766483

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

3540766480 / 9783540766483

Etat: Neuf

EUR 56,25

EUR 2,30 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 15 disponible(s)

Etat : New.

Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, Usa, November 14 (Paperback or Softback)

Butler, Michael

Langue : anglais

Edité par Springer 11/7/2007 2007

Couverture souple

Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores

Vendeur avec une évaluation de 5 étoiles

Hinchey, Michael G. (EDT); Rash, James L. (EDT); Truszkowski, Walter F. (EDT); Rouff, Christopher A. (EDT)

Etat: Neuf

EUR 58,63

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : 5 disponible(s)

Paperback or Softback. Etat : New. Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, Usa, November 14. Book.

Formal Approaches to Agent-based Systems : Third International Workshop, Faabs 2004, Greenbelt, Md, April 26-27, 2004, Revised Selected Papers

Langue : anglais

Edité par Springer 2005

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 58,66

EUR 2,30 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3228)

Langue : anglais

Edité par Springer 2005

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 4 étoiles

3540766480 / 9783540766483

Etat: Neuf

EUR 61,04

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Methods and Software Engineering: 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, Florida, USA, November ... (Lecture Notes in Computer Science, 4789)

Langue : anglais

Edité par Springer 2007

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 4 étoiles

Faabs 200 (2000 Greenbelt, M.D.); Rash, James L. (EDT)

Etat: Neuf

EUR 61,04

Frais de port gratuits

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New.

Formal Approaches to Agent-Based Systems : First International Workshop, Faabs 2000, Greenbelt, Md, Usa, April 5-7, 2000, Revised Papers

Langue : anglais

Edité par Springer 2001

3540427163 / 9783540427162

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Hinchey, Michael G. (EDT); Rash, James L. (EDT); Truszkowski, Walter F. (EDT); Rouff, Christopher A. (EDT)

Etat: Occasion - Comme neuf

EUR 59,47

EUR 2,30 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Formal Approaches to Agent-based Systems : Third International Workshop, Faabs 2004, Greenbelt, Md, April 26-27, 2004, Revised Selected Papers

Langue : anglais

Edité par Springer 2005

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

Hinchey Michael G and Bowen Jonathan P Editing

Etat: Occasion - Comme neuf

EUR 59,47

EUR 2,30 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

Applications of Formal Methods

Langue : anglais

Edité par Prentice-Hall, London 1995

0133669491 / 9780133669497

Couverture rigide
Édition originale

Vendeur : Webbooks, Wigtown, Wigtown, , Royaume-UniWebbooks, Wigtown

Vendeur avec une évaluation de 5 étoiles

Bowen, Jonathan P. [Editor]; Fett, Andreas [Editor]; Hinchey, Michael G. [Editor];

Etat: Occasion - Satisfaisant

EUR 26,13

EUR 34,59 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Hard Cover. Etat : Good. No Jacket. First Edition. From an academic library with the usual stamps etc. This item is heavy and will attract postal surcharges. A00023980.

ZUM '98: The Z Formal Specification Notation: 11th International Conference of Z Users, Berlin, Germany, September 24-26, 1998, Proceedings (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer 1998

3540650709 / 9783540650706

Couverture souple

Vendeur : GuthrieBooks, Spring Branch, TX, Etats-UnisGuthrieBooks

Vendeur avec une évaluation de 5 étoiles

Hinchey, Michael G. (EDT); Rago, Patricia (EDT); Rash, James L. (EDT); Rouff, Christopher A. (EDT); Sterritt, Roy (EDT)

Etat: Occasion - Satisfaisant

EUR 58,61

EUR 6,09 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : Good. Ex-library paperback in good condition with the usual markings and attachments.

Innovative Concepts for Autonomic and Agent-Based Systems : Second International Workshop on Radical Agent Conecpts, Wrac 2005 Greenbelt, MD, USA, September 20 - 22, 2005 Revised Papers

Langue : anglais

Edité par Springer 2006

Couverture souple

Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices

Vendeur avec une évaluation de 5 étoiles

3540627170 / 9783540627173

Etat: Occasion - Comme neuf

EUR 62,62

EUR 2,30 expédition

Expédition nationale : Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : As New. Unread book in perfect condition.

ZUM'97: The Z Formal Specification Notation: 10th International Conference of Z Users, Reading, UK, April, 3-4, 1997, Proceedings (Lecture Notes in Computer Science, 1212)

Bowen, Jonathan P.

Langue : anglais

Edité par Springer 1997

Couverture souple

Vendeur : Phatpocket Limited, Waltham Abbey, HERTS, Royaume-UniPhatpocket Limited

Vendeur avec une évaluation de 5 étoiles

Bowen, Jonathan P.; Hinchey, Michael G.

Etat: Occasion - Satisfaisant

EUR 61,17

EUR 12,27 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, and may have sticker on cover, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling condit…

High-Integrity System Specification and Design (Formal Approaches to Computing and Information Technology (FACIT))

Langue : anglais

Edité par Springer 1999

3540762264 / 9783540762263

Couverture souple

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

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 60,33

EUR 13,81 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Innovative Concepts for Autonomic and Agent-Based Systems: Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, ... (Lecture Notes in Computer Science, 3825)

Langue : anglais

Edité par Springer 2006

Couverture souple

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

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 60,33

EUR 13,81 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Formal Approaches to Agent-Based Systems: Third International Workshop, FAABS 2004, Greenbelt, MD, April 26-27, 2004, Revised Selected Papers (Lecture Notes in Computer Science, 3228)

Langue : anglais

Edité par Springer 2005

Couverture souple

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

Vendeur avec une évaluation de 5 étoiles

Etat: Neuf

EUR 60,33

EUR 13,81 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers (Lecture Notes in Computer Science, 2699)

Langue : anglais

Edité par Springer 2003

Couverture souple

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

Vendeur avec une évaluation de 5 étoiles

Diana Gordon-Spears, Christopher Rouff, Walter F. Truszkowski, Michael G. Hinchey, James L. Rash

Etat: Neuf

EUR 60,33

EUR 13,81 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Formal Approaches to Agent-Based Systems: Second International Workshop, FAABS 2002, Greenbelt, MD, USA, October 29-31, 2002, Revised Papers (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer 2008-06-13 2008

Couverture souple

Vendeur : Chiron Media, Wallingford, , Royaume-UniChiron Media

Vendeur avec une évaluation de 5 étoiles