Importo totale (1 articolo articoli):
Destinazione ordine:
taguchi kenji (32 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (32)
- Riviste e Giornali (Nessun altro risultato corrispondente a questo perfezionamento)
- Fumetti (Nessun altro risultato corrispondente a questo perfezionamento)
- Spartiti (Nessun altro risultato corrispondente a questo perfezionamento)
- Arte, Stampe e Poster (Nessun altro risultato corrispondente a questo perfezionamento)
- Fotografie (Nessun altro risultato corrispondente a questo perfezionamento)
- Mappe (Nessun altro risultato corrispondente a questo perfezionamento)
- Manoscritti e Collezionismo cartaceo (Nessun altro risultato corrispondente a questo perfezionamento)
Condizioni Maggiori informazioni
- Nuovo (25)
- Come nuovo, Ottimo o Quasi ottimo (6)
- Molto buono o Buono (1)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (Nessun altro risultato corrispondente a questo perfezionamento)
Legatura
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (32)
Ulteriori caratteristiche
- Prima ed. (Nessun altro risultato corrispondente a questo perfezionamento)
- Copia autograf. (Nessun altro risultato corrispondente a questo perfezionamento)
- Sovracoperta (Nessun altro risultato corrispondente a questo perfezionamento)
- Con foto (12)
- Non Print on Demand (21)
Lingua (2)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
I Wrote That We Would Meet And Eat.
Editore: Shogakukan
ISBN 10: 4098538814 ISBN 13: 9784098538812
Da: Rarewaves.com USA, London, LONDO, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 13,95
Spedizione gratuita
Spedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, Icfem 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,53
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, Icfem 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 58,97
Spedizione EUR 2,27
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,37
Spedizione EUR 13,82
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Formal Methods and Software Engineering : 14th International Conference on Formal Engineering Methods, Icfem 2012, Kyoto, Japan, November 12-16, 2012, Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,35
Spedizione EUR 17,31
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
IFM '99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999
Da: Swan Trading Company, GEORGETOWN, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: 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
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 66,40
Spedizione EUR 17,31
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Formal Methods and Software Engineering
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 528.
-
Formal Methods and Software Engineering: 14th International Conference on Formal Engineering Methods, Icfem 2012, Kyoto, Japan, November 12-16, 2012, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 81,96
Spedizione EUR 14,42
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: 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
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2012
ISBN 10: 3642342809 ISBN 13: 9783642342806
EUR 53,49
Spedizione EUR 63,96
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
-
EUR 50,35
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
-
IFM'99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 115,13
Spedizione EUR 13,82
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
IFM'99 : Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 112,86
Spedizione EUR 17,87
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Yokomitsu Riichi and the Kansai Cultural Region
Editore: Shorai-sha N.A
Da: Sunny Day Bookstore, SINGAPORE, Singapore
Valutazione del venditore 4 su 5 stelle
EUR 53,03
Spedizione EUR 12,87
Spedito da Singapore a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Fine. Number of pages: 331p Size: 20cm.
-
Riichi Yokomitsu and the Guanxi Cultural Region
Editore: Shorai-sha N.A
ISBN 10: 4879842680 ISBN 13: 9784879842688
Da: Sunny Day Bookstore, SINGAPORE, Singapore
Valutazione del venditore 4 su 5 stelle
EUR 53,03
Spedizione EUR 12,87
Spedito da Singapore a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Fine. Number of pages: 331p Size: 20cm.
-
EUR 40,42
Spedizione EUR 105,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Sehr gut. Zustand: Sehr gut | Seiten: 528 | Sprache: Englisch | Produktart: Bücher | 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.
-
Condizione: New. pp. 496.
-
Ifm '99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 155,11
Spedizione EUR 14,42
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 491 pages. 9.25x6.10x1.12 inches. In Stock.
-
EUR 95,70
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
-
IFM'99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 2829 June 1999
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 184,20
Spedizione EUR 28,84
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. Like New. book.
-
I Wrote That We Would Meet And Eat.
Editore: Shogakukan
ISBN 10: 4098538814 ISBN 13: 9784098538812
Da: Rarewaves.com UK, London, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 12,60
Spedizione EUR 75,00
Spedito da Regno Unito a U.S.A.Quantità: 3 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Formal Methods and Software Engineering (eng)
Da: Brook Bookstore On Demand, Napoli, NA, Italia
Valutazione del venditore 3 su 5 stelle
EUR 46,22
Spedizione EUR 6,80
Spedito da Italia a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: new. Questo è un articolo print on demand.
-
Formal Methods and Software Engineering
Lingua: Inglese
Editore: Springer Berlin Heidelberg Sep 2012, 2012
ISBN 10: 3642342809 ISBN 13: 9783642342806
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
EUR 53,49
Spedizione EUR 23,00
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 81,42
Spedizione EUR 7,50
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 528 131 Illus.
-
Formal Methods and Software Engineering
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 81,00
Spedizione EUR 9,95
Spedito da Germania a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. PRINT ON DEMAND pp. 528.
-
Formal Methods and Software Engineering
Lingua: Inglese
Editore: Springer Berlin Heidelberg, 2012
ISBN 10: 3642342809 ISBN 13: 9783642342806
EUR 48,37
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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
Lingua: Inglese
Editore: Springer, Springer Sep 2012, 2012
ISBN 10: 3642342809 ISBN 13: 9783642342806
Da: buchversandmimpf2000, Emtmannsberg, BAYE, Germania
Valutazione del venditore 5 su 5 stelle
EUR 53,49
Spedizione EUR 60,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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 KG, Sachsenplatz 4-6, 1201 Wien 528 pp. Englisch.
-
IFM'99
Lingua: Inglese
Editore: Springer, Springer Jun 1999, 1999
ISBN 10: 1852331070 ISBN 13: 9781852331078
Da: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
EUR 106,99
Spedizione EUR 23,00
Spedito da Germania a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
-
EUR 92,27
Spedizione EUR 48,99
Spedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: 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.
-
IFM'99
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 151,50
Spedizione EUR 7,50
Spedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Aggiungi al carrelloCondizione: New. Print on Demand pp. 496 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.
