Specification case studies (18 résultats)
- Couverture souple
Vendeur : Anybook.com, Lincoln, Royaume-UniAnybook.com
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 6,17
EUR 15,87 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité 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,550grams, ISBN:9780138265953.
- Couverture souple
Vendeur : Anybook.com, Lincoln, Royaume-UniAnybook.com
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Satisfaisant
EUR 6,23
EUR 15,87 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité 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,600grams, ISBN:013826595X.
- Couverture souple
Vendeur : LIBRERIA LEA+, Santiago, RM, ChiliLIBRERIA LEA+
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 23,20
EUR 32,01 expéditionExpédition depuis Chili vers Etats-UnisQuantité disponible : 1 disponible(s)
Blanda. Etat : New. Etat de la jaquette : Nuevo. 2. 0 460 gr. No Aplica (illustrateur). Libro.
- Couverture souple
Vendeur : liu xing, Nanjing, JS, Chineliu xing
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 63,61
EUR 15,57 expéditionExpédition depuis Chine vers Etats-UnisQuantité disponible : 1 disponible(s)
paperback. Etat : New. Language:Chinese.Paperback. Publisher: China.
Specification Case Studies in Raise
Van, H. Dang (EDT); George, C. (EDT); Janowski, T. (EDT); Moore, R. (EDT)
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 115,25
EUR 2,28 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
- Couverture souple
Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Neuf
EUR 117,61
Frais de port gratuitsExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 116,47
EUR 13,98 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. In.
Specification Case Studies in Raise
Van, H. Dang (EDT); George, C. (EDT); Janowski, T. (EDT); Moore, R. (EDT)
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 116,45
EUR 17,51 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New.
- Couverture souple
Vendeur : CSG Onlinebuch GMBH, Darmstadt, AllemagneCSG Onlinebuch GMBH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Assez bon
EUR 37,32
EUR 95,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Softcover. Etat : Gut. Gebraucht - Gut Zustand: Gut, Mängelexemplar, XV, 405 pp. About this book: This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications. The case studies cover a wide range of application area…s including government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, component-based software design and natural resource management. By illustrating the variety of uses of formal specifications, the case studies also raise questions about the creation, purpose and scope of formal models before they are built. Additional resources and complete specifications for all of the case studies and the RAISE tools used to process them, are available on the World Wide Web. This book will be of particular interest to software engineers, especially those responsible for the initial stages of requirements engineering and software architecture and design. It will also be of interest to academics and students on advanced formal methods courses. Written for software engineers.
- Couverture souple
Vendeur : AHA-BUCH GmbH, Einbeck, AllemagneAHA-BUCH GmbH
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 111,53
EUR 63,17 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications. The case studies cover a wide range of application areas including governme…nt finance, case-based reasoning, multi-language text processing, object-oriented design patterns, component-based software design and natural resource management. By illustrating the variety of uses of formal specifications, the case studies also raise questions about the creation, purpose and scope of formal models before they are built. The complete specifications for all of the case studies and the RAISE tools (both source code and executables) used to process them are available at: iist.unu.edu/RAISE_Case_Studies/ This book will be of particular interest to software engineers, especially those responsible for the initial stages of requirements engineering and software architecture and design. It will also be of inte rest to academics and students on advanced formal methods courses.
Specification Case Studies in Raise
Van, H. Dang (EDT); George, C. (EDT); Janowski, T. (EDT); Moore, R. (EDT)
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 206,75
EUR 17,51 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
Specification Case Studies in RAISE (Formal Approaches to Computing and Information Technology (FACIT))
Janowski, Tomasz, Moore, Richard, George, Chris, Van, Hung D
- Couverture souple
Vendeur : Mispah books, Redhill, SURRE, Royaume-UniMispah books
Contacter le vendeurVendeur avec une évaluation de 4 étoilesEtat: Occasion - Comme neuf
EUR 197,15
EUR 29,18 expéditionExpédition depuis Royaume-Uni vers Etats-UnisQuantité disponible : 1 disponible(s)
Paperback. Etat : Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
Specification Case Studies in Raise
Van, H. Dang (EDT); George, C. (EDT); Janowski, T. (EDT); Moore, R. (EDT)
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Occasion - Comme neuf
EUR 230,75
EUR 2,28 expéditionExpédition nationale : Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
- Couverture souple
Vendeur : liu xing, Nanjing, JS, Chineliu xing
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 71,21
EUR 15,57 expéditionExpédition depuis Chine vers Etats-UnisQuantité disponible : 1 disponible(s)
paperback. Etat : New. Ship out in 2 business day, And Fast shipping, Free Tracking number will be provided after the shipment.Paperback. Pub Date :2013-07-01 Pages: 315 Publisher: People's Medical Publishing House Heart Electrical New Technology series : ECG exercise test specification and case studies for the standardization o…f training ECG exercise test preparation . The book is divided into upper and lower two . the introduction of the national authorities to develop ECG exercise test specification . based on the author will accumulate over the years . summed up the ECG treadmill exercise test data by way of sele.Four Satisfaction guaranteed,or money back.
- Couverture souple
- impression à la demande
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, AllemagneBuchWeltWeit Ludwig Meier e.K.
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 106,99
EUR 23,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 2 disponible(s)
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications. The case studies cover a wide range of application areas in…cluding government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, component-based software design and natural resource management. By illustrating the variety of uses of formal specifications, the case studies also raise questions about the creation, purpose and scope of formal models before they are built. The complete specifications for all of the case studies and the RAISE tools (both source code and executables) used to process them are available at: iist.unu.edu/RAISE_Case_Studies/ This book will be of particular interest to software engineers, especially those responsible for the initial stages of requirements engineering and software architecture and design. It will also be of inte rest to academics and students on advanced formal methods courses. 424 pp. Englisch.
- Couverture souple
- impression à la demande
Vendeur : moluna, Greven, Allemagnemoluna
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 89,99
EUR 48,99 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : Plus de 20 disponibles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A linked ftp site with complete specifications for all the case studies and the RAISE tools to process themPresents real case studies as opposed to academic examplesThis volume presents twelve case studies that use RAISE…- Rigorous Approach to Indus.
Autres images- Couverture souple
- impression à la demande
Vendeur : preigu, Osnabrück, Allemagnepreigu
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 93,35
EUR 70,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 5 disponible(s)
Taschenbuch. Etat : Neu. Specification Case Studies in RAISE | Hung Dang Van (u. a.) | Taschenbuch | xv | Englisch | 2002 | Springer | EAN 9781852333591 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.
- Couverture souple
- impression à la demande
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagnebuchversandmimpf2000
Contacter le vendeurVendeur avec une évaluation de 5 étoilesEtat: Neuf
EUR 106,99
EUR 60,00 expéditionExpédition depuis Allemagne vers Etats-UnisQuantité disponible : 1 disponible(s)
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume presents twelve case studies that use RAISE - Rigorous Approach to Industrial Software Engineering - to construct, analyse, develop and apply formal specifications. The case studies cover a wide range of application areas includ…ing government finance, case-based reasoning, multi-language text processing, object-oriented design patterns, component-based software design and natural resource management. By illustrating the variety of uses of formal specifications, the case studies also raise questions about the creation, purpose and scope of formal models before they are built. Additional resources and complete specifications for all of the case studies and the RAISE tools used to process them, are available on the World Wide Web. This book will be of particular interest to software engineers, especially those responsible for the initial stages of requirements engineering and software architecture and design. It will also be of interest to academics and students on advanced formal methods courses.Springer-Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 424 pp. Englisch.
