Order Total (1 Item Items):
Shipping Destination:
Kenji Taguchi (26 results)
Skip to main search results
Search filters
Product Type
- All Product Types
- Books (26)
- Magazines & Periodicals (No further results match this refinement)
- Comics (No further results match this refinement)
- Sheet Music (No further results match this refinement)
- Art, Prints & Posters (No further results match this refinement)
- Photographs (No further results match this refinement)
- Maps (No further results match this refinement)
- Manuscripts & Paper Collectibles (No further results match this refinement)
Condition Learn more
- New (19)
- As New, Fine or Near Fine (6)
- Very Good or Good (1)
- Fair or Poor (No further results match this refinement)
- As Described (No further results match this refinement)
Binding
- All Bindings
- Hardcover (No further results match this refinement)
- Softcover (26)
Collectible Attributes
- First Edition (No further results match this refinement)
- Signed (No further results match this refinement)
- Dust Jacket (No further results match this refinement)
- Seller-Supplied Images (15)
- Not Print on Demand (17)
Language (2)
Free Shipping
Seller Location
Seller Rating
-
I Wrote That We Would Meet And Eat.
Published by Shogakukan
ISBN 10: 4098538814 ISBN 13: 9784098538812
Seller: Rarewaves.com USA, London, LONDO, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: New.
-
-
Condition: As New. Unread book in perfect condition.
-
Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 68.51
US$ 16.16 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, Icfem 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 68.49
US$ 20.24 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New.
-
Paperback. Condition: Very Good. Softcover with only light edge wear. Text appears unmarked and binding is tight. Ships FAST!
-
Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, Icfem 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
Seller: GreatBookPricesUK, Woodford Green, United Kingdom
Seller rating 5 out of 5 stars
US$ 77.60
US$ 20.24 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: As New. Unread book in perfect condition.
-
US$ 95.11
US$ 16.86 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 2012 edition. 500 pages. 9.25x6.00x1.25 inches. In Stock.
-
Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
Language: English
Published by Springer Berlin Heidelberg, 2012
ISBN 10: 3642342809 ISBN 13: 9783642342806
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012.The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on concurrency, applications of formal methods to new areas, quantity and probability, formal verification, modeling and development methodology, temporal logics, abstraction and refinement, tools, as well as testing and runtime verification.
-
IFM'99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999
Seller: Ria Christie Collections, Uxbridge, United Kingdom
Seller rating 5 out of 5 stars
US$ 131.04
US$ 16.16 shipping
Ships from United Kingdom to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. In.
-
US$ 131.97
US$ 20.90 shipping
Ships from United Kingdom to U.S.A.Quantity: 10 available
Add to basketPF. Condition: New.
-
Condition: Fine. Number of pages: 331p Size: 20cm.
-
Riichi Yokomitsu and the Guanxi Cultural Region
Published by Shorai-sha N.A
ISBN 10: 4879842680 ISBN 13: 9784879842688
Condition: Fine. Number of pages: 331p Size: 20cm.
-
Condition: Sehr gut. Zustand: Sehr gut | Seiten: 528 | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar.
-
US$ 180.00
US$ 16.86 shipping
Ships from United Kingdom to U.S.A.Quantity: 2 available
Add to basketPaperback. Condition: Brand New. 491 pages. 9.25x6.10x1.12 inches. In Stock.
-
US$ 215.38
US$ 33.73 shipping
Ships from United Kingdom to U.S.A.Quantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
-
I Wrote That We Would Meet And Eat.
Published by Shogakukan
ISBN 10: 4098538814 ISBN 13: 9784098538812
US$ 14.60
US$ 87.69 shipping
Ships from United Kingdom to U.S.A.Quantity: 3 available
Add to basketPaperback. Condition: New.
-
Condition: new. Questo è un articolo print on demand.
-
Formal Methods and Software Engineering
Language: English
Published by Springer Berlin Heidelberg Sep 2012, 2012
ISBN 10: 3642342809 ISBN 13: 9783642342806
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012.The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on concurrency, applications of formal methods to new areas, quantity and probability, formal verification, modeling and development methodology, temporal logics, abstraction and refinement, tools, as well as testing and runtime verification. 528 pp. Englisch.
-
Formal Methods and Software Engineering
Language: English
Published by Springer Berlin Heidelberg, 2012
ISBN 10: 3642342809 ISBN 13: 9783642342806
Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Fast-track conference proceedingsState-of-the-art researchUp-to-date resultsFast-track conference proceedingsState-of-the-art researchUp-to-date resultsThis book constitutes the refereed proceedings of the 14th Internati.
-
Formal Methods and Software Engineering
Language: English
Published by Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 2012, 2012
ISBN 10: 3642342809 ISBN 13: 9783642342806
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -This book constitutes the refereed proceedings of the 14th International Conference on Formal Engineering Methods, ICFEM 2012, held in Kyoto, Japan, November 2012.The 31 revised full papers together with 3 invited talks presented were carefully reviewed and selected from 85 submissions. The papers address all current issues in formal methods and their applications in software engineering. They are organized in topical sections on concurrency, applications of formal methods to new areas, quantity and probability, formal verification, modeling and development methodology, temporal logics, abstraction and refinement, tools, as well as testing and runtime verification.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 528 pp. Englisch.
-
Taschenbuch. Condition: Neu. Formal Methods and Software Engineering | 14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, Proceedings | Toshiaki Aoki (u. a.) | Taschenbuch | xiv | Englisch | 2012 | Springer | EAN 9783642342806 | 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.
-
IFM'99
Language: English
Published by Springer, Springer Jun 1999, 1999
ISBN 10: 1852331070 ISBN 13: 9781852331078
Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Formal methods have been established as the rigorous engineering methodology for the system development. Applying formal methods to a large and complex system development often requires the modelling of different aspects of such a system. For instance, complex systems (such as integrated avionics systems, engine control software) can involve functional and timing requirements that must be eventually implemented as executing code on a communicating distributed topology. This book contains the papers presented at the First International Workshop on Integrated Formal Methods, held at the University of York in June 1999. The conference provided a forum for the discussion of theoretical aspects of combing behavioural and state-based formalisms and practical solutions to the industrial problems of this approach. 496 pp. Englisch.
-
US$ 112.17
US$ 57.82 shipping
Ships from Germany to U.S.A.Quantity: Over 20 available
Add to basketCondition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Formal methods have been established as the rigorous engineering methodology for the system development. Applying formal methods to a large and complex system development often requires the modelling of different aspects of such a system. For instance, comp.
-
Taschenbuch. Condition: Neu. IFM'99 | Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999 | Keijiro Araki (u. a.) | Taschenbuch | xiv | Englisch | 1999 | Springer | EAN 9781852331078 | 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.
-
IFM'99
Language: English
Published by Springer London, Springer London Jun 1999, 1999
ISBN 10: 1852331070 ISBN 13: 9781852331078
Seller: buchversandmimpf2000, Emtmannsberg, BAYE, Germany
Seller rating 5 out of 5 stars
Taschenbuch. Condition: Neu. This item is printed on demand - Print on Demand Titel. Neuware -Formal methods have been established as the rigorous engineering methodology for the system development. Applying formal methods to a large and complex system development often requires the modelling of different aspects of such a system. For instance, complex systems (such as integrated avionics systems, engine control software) can involve functional and timing requirements that must be eventually implemented as executing code on a communicating distributed topology. This book contains the papers presented at the First International Workshop on Integrated Formal Methods, held at the University of York in June 1999. The conference provided a forum for the discussion of theoretical aspects of combing behavioural and state-based formalisms and practical solutions to the industrial problems of this approach.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 496 pp. Englisch.
