Tipo de artículo
Condición
Encuadernación
Más atributos
Ubicación del vendedor
Valoración de los vendedores
Publicado por Springer, 2010
ISBN 10: 3642085849ISBN 13: 9783642085840
Librería: booksXpress, Bayonne, NJ, Estados Unidos de America
Libro
Soft Cover. Condición: new.
Publicado por Springer, 2010
ISBN 10: 3642085849ISBN 13: 9783642085840
Librería: Lucky's Textbooks, Dallas, TX, Estados Unidos de America
Libro
Condición: New.
Publicado por Springer, 2010
ISBN 10: 3642085849ISBN 13: 9783642085840
Librería: Book Deals, Tucson, AZ, Estados Unidos de America
Libro
Condición: Fair. Acceptable/Fair condition. Book is worn, but the pages are complete, and the text is legible. Has wear to binding and pages, may be ex-library. 0.57.
Publicado por Springer, 2010
ISBN 10: 3642085849ISBN 13: 9783642085840
Librería: Books Unplugged, Amherst, NY, Estados Unidos de America
Libro
Condición: Fair. Buy with confidence! Book is in acceptable condition with wear to the pages, binding, and some marks within 0.57.
Publicado por Springer, 2010
ISBN 10: 3642085849ISBN 13: 9783642085840
Librería: Books Unplugged, Amherst, NY, Estados Unidos de America
Libro
Condición: Good. Buy with confidence! Book is in good condition with minor wear to the pages, binding, and minor marks within 0.57.
Publicado por Springer, 2010
ISBN 10: 3642085849ISBN 13: 9783642085840
Librería: GF Books, Inc., Hawthorne, CA, Estados Unidos de America
Libro
Condición: Very Good. Book is in Used-VeryGood condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear and contain very limited notes and highlighting. 0.57.
Publicado por Springer, 2010
ISBN 10: 3642085849ISBN 13: 9783642085840
Librería: Book Deals, Tucson, AZ, Estados Unidos de America
Libro
Condición: Very Good. Very Good condition. Shows only minor signs of wear, and very minimal markings inside (if any). 0.57.
Publicado por Springer, 2010
ISBN 10: 3642085849ISBN 13: 9783642085840
Librería: GF Books, Inc., Hawthorne, CA, Estados Unidos de America
Libro
Condición: Fine. Book is in Used-LikeNew condition. Pages and cover are clean and intact. Used items may not include supplementary materials such as CDs or access codes. May show signs of minor shelf wear.
Publicado por Springer, 2010
ISBN 10: 3642085849ISBN 13: 9783642085840
Librería: Book Deals, Tucson, AZ, Estados Unidos de America
Libro
Condición: Fine. Like New condition. Great condition, but not exactly fully crisp. The book may have been opened and read, but there are no defects to the book, jacket or pages.
Publicado por Springer, 2010
ISBN 10: 3642085849ISBN 13: 9783642085840
Librería: Ria Christie Collections, Uxbridge, Reino Unido
Libro Impresión bajo demanda
Condición: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Publicado por Springer, 2010
ISBN 10: 3642085849ISBN 13: 9783642085840
Librería: GF Books, Inc., Hawthorne, CA, Estados Unidos de America
Libro
Condición: New. Book is in NEW condition. 0.57.
Publicado por Springer, 2010
ISBN 10: 3642085849ISBN 13: 9783642085840
Librería: Book Deals, Tucson, AZ, Estados Unidos de America
Libro
Condición: New. New! This book is in the same immaculate condition as when it was published 0.57.
Publicado por Springer Berlin Heidelberg Dez 2010, 2010
ISBN 10: 3642085849ISBN 13: 9783642085840
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
Libro Impresión bajo demanda
Taschenbuch. Condición: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting.The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications. 176 pp. Englisch.
Publicado por Springer 2010-12, 2010
ISBN 10: 3642085849ISBN 13: 9783642085840
Librería: Chiron Media, Wallingford, Reino Unido
Libro
PF. Condición: New.
Publicado por Springer Berlin Heidelberg, 2010
ISBN 10: 3642085849ISBN 13: 9783642085840
Librería: AHA-BUCH GmbH, Einbeck, Alemania
Libro
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - Automated and semi-automated manipulation of so-called labelled transition systems has become an important means in discovering flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically, which enhances the ways of manipulation by means of equational logic and term rewriting.The theory of process algebra has developed rapidly over the last twenty years, and verification tools have been developed on the basis of process algebra, often in cooperation with techniques related to model checking. This textbook gives a thorough introduction into the basics of process algebra and its applications.
Publicado por Springer Berlin Heidelberg, 2010
ISBN 10: 3642085849ISBN 13: 9783642085840
Librería: moluna, Greven, Alemania
Libro Impresión bajo demanda
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. A clear introduction into the basic concepts underlying process algebraAmple intuitive explanations and motivation for theoretical notionsWorked-out exercises that help to grasp the textTwo detailed verificationsExtensive overviews of relate.
Publicado por Springer, 2010
ISBN 10: 3642085849ISBN 13: 9783642085840
Librería: ALLBOOKS1, Salisbury Plain, SA, Australia
Libro
Publicado por Springer, 2010
ISBN 10: 3642085849ISBN 13: 9783642085840
Librería: Mispah books, Redhill, SURRE, Reino Unido
Libro
Paperback. Condición: Like New. Like New. book.