Importo totale (1 articolo articoli):
Destinazione ordine:
kazuhiro ogata (54 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (54)
- 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 (47)
- Come nuovo, Ottimo o Quasi ottimo (6)
- Molto buono o Buono (Nessun altro risultato corrispondente a questo perfezionamento)
- Discreto o Mediocre (Nessun altro risultato corrispondente a questo perfezionamento)
- Come descritto (1)
Legatura
- Tutte
- Rilegato (Nessun altro risultato corrispondente a questo perfezionamento)
- Brossura (54)
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 (20)
- Non Print on Demand (30)
Lingua (1)
Spedizione gratuita
- Spedizione gratuita in U.S.A. (Nessun altro risultato corrispondente a questo perfezionamento)
Paese del venditore
Valutazione venditore
-
Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, Icfem 2016
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: As New. Unread book in perfect condition.
-
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi (Lecture Notes in Computer Science, 8373)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,62
Spedizione EUR 13,88
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,62
Spedizione EUR 13,88
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Rewriting Logic and Its Applications : 15th International Workshop, Wrla 2024, Luxembourg City, Luxembourg, April 6?7, 2024, Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 72,22
Spedizione EUR 2,28
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 57,34
Spedizione EUR 17,95
Spedito da Regno Unito a U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, Icfem 2016
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New.
-
Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, Icfem 2016
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 60,61
Spedizione EUR 17,38
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New.
-
Rewriting Logic and Its Applications: 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers (Lecture Notes in Computer Science)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 66,74
Spedizione EUR 13,88
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Rewriting Logic and Its Applications : 15th International Workshop, Wrla 2024, Luxembourg City, Luxembourg, April 6?7, 2024, Revised Selected Papers
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 80,67
Spedizione EUR 2,28
Spedito in U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, Icfem 2016
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 66,74
Spedizione EUR 17,38
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Rewriting Logic and Its Applications : 15th International Workshop, Wrla 2024, Luxembourg City, Luxembourg, April 6?7, 2024, Revised Selected Papers
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 66,72
Spedizione EUR 17,38
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Specification, Algebra, and Software
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 680.
-
Rewriting Logic and Its Applications: 15th International Workshop, Wrla 2024, Luxembourg City, Luxembourg, April 6?7, 2024, Revised Selected Papers: 14953 (Lecture Notes in Computer Science, 14953)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New.
-
Rewriting Logic and Its Applications : 15th International Workshop, Wrla 2024, Luxembourg City, Luxembourg, April 6?7, 2024, Revised Selected Papers
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 73,34
Spedizione EUR 17,38
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: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2-6, 2024, Proceedings (Lecture Notes in Computer Science)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 78,95
Spedizione EUR 13,88
Spedito da Regno Unito a U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 85,33
Spedizione EUR 14,48
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 2014 edition. 656 pages. 9.00x6.00x1.50 inches. In Stock.
-
Rewriting Logic and Its Applications: 15th International Workshop, Wrla 2024, Luxembourg City, Luxembourg, April 67, 2024, Revised Selected Papers
Lingua: Inglese
Editore: Springer-Nature New York Inc, 2024
ISBN 10: 3031659406 ISBN 13: 9783031659409
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 91,66
Spedizione EUR 11,59
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 219 pages. 9.25x6.10x9.21 inches. In Stock.
-
Formal Methods and Software Engineering: 25th International Conference on Formal Engineering Methods, ICFEM 2024, Hiroshima, Japan, December 2?6, 2024, Proceedings (Lecture Notes in Computer Science)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New.
-
Formal Methods and Software Engineering : 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings
Lingua: Inglese
Editore: Springer International Publishing, Springer International Publishing, 2016
ISBN 10: 3319478451 ISBN 13: 9783319478456
EUR 53,49
Spedizione EUR 63,81
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 18th International Conference on Formal Engineering Methods, ICFEM 2016, held in Tokyo, Japan, in November 2016. The 27 revised full papers presented together with three invited talks were carefully reviewed and selected from 64 submissions. The conference focuses in all areas related to formal engineering meth-ods, such as verification and validation, software engineering, formal specification and modeling, software security, and software reliability.
-
Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, Icfem 2016
Lingua: Inglese
Editore: Springer-Verlag New York Inc, 2016
ISBN 10: 3319478451 ISBN 13: 9783319478456
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 82,66
Spedizione EUR 40,55
Spedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 508 pages. 9.25x6.10x1.15 inches. In Stock.
-
EUR 50,35
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
-
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 | 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings | Kazuhiro Ogata (u. a.) | Taschenbuch | Lecture Notes in Computer Science | xvii | Englisch | 2016 | Springer | EAN 9783319478456 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
Rewriting Logic and Its Applications : 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6¿7, 2024, Revised Selected Papers
Lingua: Inglese
Editore: Springer Nature Switzerland, Springer International Publishing, 2024
ISBN 10: 3031659406 ISBN 13: 9783031659409
EUR 62,05
Spedizione EUR 61,71
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 revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, during April 6-7, 2024.The 11 full papers included in this book were carefully reviewed and selected from 16 submissions. They focus on several topics, e.g., foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; applications; and education.
-
EUR 61,89
Spedizione EUR 65,07
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: 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.
-
Specification, Algebra, and Software: Essays Dedicated to Kokichi Futatsugi (Lecture Notes in Computer Science (8373))
Da: Mispah books, Redhill, SURRE, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 101,44
Spedizione EUR 28,97
Spedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloPaperback. Condizione: Like New. LIKE NEW. SHIPS FROM MULTIPLE LOCATIONS. book.
-
EUR 57,50
Spedizione EUR 70,00
Spedito da Germania a U.S.A.Quantità: 5 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Rewriting Logic and Its Applications | 15th International Workshop, WRLA 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers | Kazuhiro Ogata (u. a.) | Taschenbuch | Lecture Notes in Computer Science | x | Englisch | 2024 | Springer | EAN 9783031659409 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
-
EUR 30,31
Spedizione EUR 105,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | This book constitutes revised selected papers from the refereed proceedings of the 15th International Workshop on Rewriting Logic and Its Applications, WRLA 2024, held in Luxembourg City, Luxembourg, during April 6¿7, 2024.The 11 full papers included in this book were carefully reviewed and selected from 16 submissions. They focus on several topics, e.g., foundations; rewriting as a logical and semantic framework; rewriting languages; verification techniques; applications; and education.
-
EUR 38,00
Spedizione EUR 105,00
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: 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.
-
EUR 87,16
Spedizione EUR 63,20
Spedito da Germania a U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume LNCS 15394 constitutes the refereed proceedings of 25th International Conference on Formal Engineering Methods, ICFEM 2024, in Hiroshima, Japan, in December 2024.The 22 full papers presented were carefully reviewed and selected from 50 submissions.The conference focuses on wide range of research areas, covering both theoretical foundations and practical applications of formal engineering methods.
-
Formal Methods and Software Engineering: 18th International Conference on Formal Engineering Methods, ICFEM 2016, Tokyo, Japan, November 14-18, 2016, Proceedings (Lecture Notes in Computer Science)
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 486.
