This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Charlotte y Peter Fiell son dos autoridades en historia, teoría y crítica del diseño y han escrito más de sesenta libros sobre la materia, muchos de los cuales se han convertido en éxitos de ventas. También han impartido conferencias y cursos como profesores invitados, han comisariado exposiciones y asesorado a fabricantes, museos, salas de subastas y grandes coleccionistas privados de todo el mundo. Los Fiell han escrito numerosos libros para TASCHEN, entre los que se incluyen 1000 Chairs, Diseño del siglo XX, El diseño industrial de la A a la Z, Scandinavian Design y Diseño del siglo XXI.
This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerGratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerAnbieter: Buchpark, Trebbin, Deutschland
Zustand: Sehr gut. Zustand: Sehr gut | Seiten: 160 | Sprache: Englisch | Produktart: Bücher. Bestandsnummer des Verkäufers 24107091/12
Anzahl: 1 verfügbar
Anbieter: moluna, Greven, Deutschland
Kartoniert / Broschiert. Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Up-to-date results Fast-track conference proceedings State-of-the-art researchThis book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Langua. Bestandsnummer des Verkäufers 5059254
Anzahl: Mehr als 20 verfügbar
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping. Bestandsnummer des Verkäufers 9783642392764
Anzahl: 1 verfügbar
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping. 160 pp. Englisch. Bestandsnummer des Verkäufers 9783642392764
Anzahl: 2 verfügbar
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Taschenbuch. Zustand: Neu. Neuware -This book constitutes the thoroughly refereed post-conference proceedings of the Second International Workshop on Structured Object-Oriented Formal Language, SOFL 2012, held in Kyoto, Japan, in November 2012. The 10 full papers presented were carefully reviewed and selected for inclusion in this book and address the following topics of interest: testing and tools; tools for specification; model checking; and application and prototyping.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 160 pp. Englisch. Bestandsnummer des Verkäufers 9783642392764
Anzahl: 2 verfügbar
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Zustand: New. In. Bestandsnummer des Verkäufers ria9783642392764_new
Anzahl: Mehr als 20 verfügbar
Anbieter: Chiron Media, Wallingford, Vereinigtes Königreich
PF. Zustand: New. Bestandsnummer des Verkäufers 6666-IUK-9783642392764
Anzahl: 10 verfügbar
Anbieter: California Books, Miami, FL, USA
Zustand: New. Bestandsnummer des Verkäufers I-9783642392764
Anzahl: Mehr als 20 verfügbar
Anbieter: Biblios, Frankfurt am main, HESSE, Deutschland
Zustand: New. PRINT ON DEMAND pp. 160. Bestandsnummer des Verkäufers 1897874047
Anzahl: 4 verfügbar
Anbieter: Books Puddle, New York, NY, USA
Zustand: New. pp. 160. Bestandsnummer des Verkäufers 2697874037
Anzahl: 4 verfügbar