Importo totale (1 articolo articoli):
Destinazione ordine:
abstract state machines theory (52 risultati)
Vai alla pagina principale dei risultati di ricerca
Filtri di ricerca
Tipo di articolo
- Tutti i tipi di prodotto
- Libri (52)
- 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 (38)
- Come nuovo, Ottimo o Quasi ottimo (9)
- Molto buono o Buono (5)
- 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 (52)
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 (24)
- Non Print on Demand (37)
Lingua (1)
Spedizione gratuita
Paese del venditore
Valutazione venditore
-
Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.
-
Abstract State Machines 2003. Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science)
Da: Bookman Orange, Orange, CA, U.S.A.
Valutazione del venditore 4 su 5 stelle
paperback. Condizione: Good. Some wear from use. Good used book.
-
Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings (Lecture Notes in Computer Science)
Da: GuthrieBooks, Spring Branch, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Paperback. Condizione: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Except for library markings, interior clean and unmarked. Tight binding.
-
Abstract State Machines 2004. Advances In Theory And Practice : 11th International Workshop, Asm 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,86
EUR 2,27 shipping
Ships within U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, ... (Lecture Notes in Computer Science, 3052)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 52,68
EUR 3,43 shipping
Ships within U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Abstract State Machines 2003, Advances in Theory and Practice : Advances in Theory and Practice ; 10th International Workshop, Asm 2003, Taormina, Italy, March 2003 : Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 54,26
EUR 2,27 shipping
Ships within U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Abstract State Machines 2003: Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings (Lecture Notes in Computer Science, 2589)
Da: Lucky's Textbooks, Dallas, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 53,08
EUR 3,43 shipping
Ships within U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 52,21
EUR 13,71 shipping
Ships from Regno Unito to U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Abstract State Machines - Theory and Applications: International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings (Lecture Notes in Computer Science, 1912)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,10
EUR 13,71 shipping
Ships from Regno Unito to U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Abstract State Machines 2004. Advances in Theory and Practice: 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, ... (Lecture Notes in Computer Science, 3052)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,10
EUR 13,71 shipping
Ships from Regno Unito to U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Abstract State Machines 2003: Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings (Lecture Notes in Computer Science, 2589)
Da: Ria Christie Collections, Uxbridge, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,10
EUR 13,71 shipping
Ships from Regno Unito to U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New. In.
-
Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 200
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 56,29
EUR 17,72 shipping
Ships from Regno Unito to U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPF. Condizione: New.
-
Abstract State Machines : Theory and Applications : International Workshop, Asm 2000, Monte Verita, Switzerland, March 2000 : Proceedings
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
EUR 71,76
EUR 2,27 shipping
Ships within U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Abstract State Machines 2003. Advances in Theory and Practice: 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings: v. 2589 (Lecture Notes in Computer Science)
Da: Chiron Media, Wallingford, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 56,54
EUR 17,72 shipping
Ships from Regno Unito to U.S.A.Quantità: 10 disponibili
Aggiungi al carrelloPaperback. Condizione: New.
-
Abstract State Machines : Theory and Applications : International Workshop, Asm 2000, Monte Verita, Switzerland, March 2000 : Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,09
EUR 17,16 shipping
Ships from Regno Unito to U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Abstract State Machines 2004. Advances In Theory And Practice : 11th International Workshop, Asm 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,09
EUR 17,16 shipping
Ships from Regno Unito to U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Abstract State Machines 2004. Advances in Theory and Practice
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 252.
-
Abstract State Machines 2003, Advances in Theory and Practice : Advances in Theory and Practice ; 10th International Workshop, Asm 2003, Taormina, Italy, March 2003 : Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 58,09
EUR 17,16 shipping
Ships from Regno Unito to U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: New.
-
Abstract State Machines - Theory and Applications
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 396.
-
Abstract State Machines 2004. Advances in Theory and Practice
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 4 su 5 stelle
EUR 74,56
EUR 7,44 shipping
Ships from Regno Unito to U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 252 Illus.
-
Abstract State Machines 2003. Advances in Theory and Practice
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. pp. 448.
-
Abstract State Machines 2004. Advances in Theory and Practice
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 4 su 5 stelle
EUR 75,88
EUR 9,95 shipping
Ships from Germania to U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloCondizione: New. pp. 252.
-
Abstract State Machines: Theory and Applications : International Workshop, Asm 2000, Monte Verita, Switzerland, March 2000 : Proceedings
Da: Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 79,63
EUR 14,30 shipping
Ships from Regno Unito to U.S.A.Quantità: 2 disponibili
Aggiungi al carrelloPaperback. Condizione: Brand New. 1st edition. 379 pages. 9.00x6.00x0.75 inches. In Stock.
-
Abstract State Machines 2003. Advances in Theory and Practice.
Editore: New York, NY, U.S.A. Springer-Verlag New York, Incorporated, 2003
ISBN 10: 3540006249 ISBN 13: 9783540006244
Lingua: Inglese
Da: CSG Onlinebuch GMBH, Darmstadt, Germania
Valutazione del venditore 5 su 5 stelle
EUR 16,96
EUR 95,00 shipping
Ships from Germania to U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloSoftcover. Condizione: Gut. Gebraucht - Gut Zustand: Gut, 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings XI, 427 p. Also available online. About this book This book constitutes the refereed proceedings of the 10th International Workshop on Abstract State Machines, ASM 2003, held in Taormina, Italy in March 2003. The 16 revised full papers presented together with 8 invited papers and 12 abstracts were carefully reviewed and selected for inclusion in the book. The papers reflect the state of the art of the abstract state machine method for the design and analysis of complex software/hardware systems. Besides theoretical results and methodological progress, application in various fields are studied as well. Written for researchers and professionals.
-
Abstract State Machines 2004. Advances in Theory and Practice : 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings
Editore: Springer Berlin Heidelberg, 2004
ISBN 10: 3540220941 ISBN 13: 9783540220947
Lingua: Inglese
EUR 53,49
EUR 61,94 shipping
Ships from Germania to U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - Abstract state machines (ASM) sharpen the Church-Turing thesis by the c- sideration of bounded resources for computing devices. They view computations as an evolution of a state. It has been shown that all known models of com- tation can be expressed through speci c abstract state machines. These models can be given in a representation-independent way. That is one advantage of transferring these models to ASM. The main advantage is, however, to provide a unifying theory to all of these models. At the same time ASM can be re ned to other ASMs. Stepwise re nement supports separation of concern during so- ware development and will support component-based construction of systems thus providing a foundation of new computational paradigms such as industrial programming, programming-in-the-large, and programming-in-the-world. ASM 2004 continued the success story of the ASM workshops. Previous workshops were held in the following European cities: Taormina, Italy (2003); Dagstuhl, Germany (2002); Las Palmas de Gran Canaria, Spain (2001); Monte Verita, Switherland (2000); Toulouse, France (1999); Magdeburg, Germany (1998); Cannes, France (1998, 1997); Paderborn, Germany (1996); and H- burg, Germany (1994). The ASM workshops have had predecessors, e.g., the famous Lipari Summer School in 1993, whose in uential outcome was the f- damental Lipari Guide.
-
Abstract State Machines - Theory and Applications : International Workshop, ASM 2000 Monte Verita, Switzerland, March 19-24, 2000 Proceedings
Editore: Springer Berlin Heidelberg, 2000
ISBN 10: 3540679596 ISBN 13: 9783540679592
Lingua: Inglese
EUR 53,49
EUR 62,99 shipping
Ships from Germania to U.S.A.Quantità: 1 disponibili
Aggiungi al carrelloTaschenbuch. Condizione: Neu. Druck auf Anfrage Neuware - Printed after ordering - The ASM 2000 workshop was held in the conference center of the Swiss Federal Institute of Technology (ETH) at Monte Verit a, Canton Ticino, March 19-24, 2000. The ASM formalism was proposed together with the thesis that it is suitable to model arbitrary computer systems on arbitrary abstraction levels. ASMs have been successfully used to analyze and specify various hardware and software systems including numerous computer languages. The aim of the workshop was to bring together domain-experts, using ASMs as a practical speci cation method, and theorists working with ASMs and related methods. In addition the workshop served as a forum on theoretical and practical topics that relate to ASMs in a broad sense. Three tutorials including hands-on experience with tools were organized by U. Gl asser and G. del Castillo (on the topic Specifying Concurrent Systems with ASMs'), H. Russ and N. Shankar (on the topic A Tutorial Introduction to PVS'), M. Anlau , P.W. Kutter, and A. Pierantonio (on the topic Developing Domain Speci c Languages'). In response to the organization committee's call for papers, 30 papers were submitted, each of which was independently reviewed by four members of the program committee. This volume presents a selection of 12 of the refereed papers and two reports on industrial ASM application at Siemens AG and Microsoft Research, together with contributions based on the invited talks given by A.
-
Abstract State Machines 2003: Advances in Theory and Practice : 10th International Workshop, ASM 2003, Taormina, Italy, March 3-7, 2003. Proceedings
Editore: Springer Berlin Heidelberg, 2003
ISBN 10: 3540006249 ISBN 13: 9783540006244
Lingua: Inglese
EUR 53,49
EUR 63,37 shipping
Ships from Germania to 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 10th International Workshop on Abstract State Machines, ASM 2003, held in Taormina, Italy in March 2003.The 16 revised full papers presented together with 8 invited papers and 12 abstracts were carefully reviewed and selected for inclusion in the book. The papers reflect the state of the art of the abstract state machine method for the design and analysis of complex software/hardware systems. Besides theoretical results and methodological progress, application in various fields are studied as well.
-
Abstract State Machines : Theory and Applications : International Workshop, Asm 2000, Monte Verita, Switzerland, March 2000 : Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 115,48
EUR 17,16 shipping
Ships from Regno Unito to U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
-
Abstract State Machines 2003, Advances in Theory and Practice : Advances in Theory and Practice ; 10th International Workshop, Asm 2003, Taormina, Italy, March 2003 : Proceedings
Da: GreatBookPricesUK, Woodford Green, Regno Unito
Valutazione del venditore 5 su 5 stelle
EUR 115,48
EUR 17,16 shipping
Ships from Regno Unito to U.S.A.Quantità: Più di 20 disponibili
Aggiungi al carrelloCondizione: As New. Unread book in perfect condition.
