Librería: HPB-Red, Dallas, TX, Estados Unidos de America
EUR 26,61
Cantidad disponible: 1 disponibles
Añadir al carritoHardcover. Condición: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority!
Librería: NEPO UG, Rüsselsheim am Main, Alemania
EUR 24,75
Cantidad disponible: 1 disponibles
Añadir al carritoCondición: Sehr gut. Auflage: 2000. 168 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Sprache: Englisch Gewicht in Gramm: 315 24,1 x 16,1 x 1,4 cm, Gebundene Ausgabe.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 59,18
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: Ria Christie Collections, Uxbridge, Reino Unido
EUR 60,55
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New. In.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 60,54
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de America
EUR 76,67
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: New.
Librería: Books Puddle, New York, NY, Estados Unidos de America
EUR 76,12
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. pp. 180.
Librería: GreatBookPricesUK, Woodford Green, Reino Unido
EUR 65,46
Cantidad disponible: Más de 20 disponibles
Añadir al carritoCondición: As New. Unread book in perfect condition.
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de America
EUR 103,86
Cantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: New. In shrink wrap. Looks like an interesting title!
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de America
EUR 103,87
Cantidad disponible: 1 disponibles
Añadir al carritohardcover. Condición: New. In shrink wrap. Looks like an interesting title!
Idioma: Inglés
Publicado por Springer, Springer Vieweg, 1999
ISBN 10: 354066579X ISBN 13: 9783540665793
Librería: AHA-BUCH GmbH, Einbeck, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoBuch. 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.
Idioma: Inglés
Publicado por Springer Berlin Heidelberg Dez 1999, 1999
ISBN 10: 354066579X ISBN 13: 9783540665793
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Alemania
EUR 53,49
Cantidad disponible: 2 disponibles
Añadir al carritoBuch. 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. 180 pp. Englisch.
Librería: Majestic Books, Hounslow, Reino Unido
EUR 75,94
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. Print on Demand pp. 180 Illus.
Librería: Biblios, Frankfurt am main, HESSE, Alemania
EUR 76,03
Cantidad disponible: 4 disponibles
Añadir al carritoCondición: New. PRINT ON DEMAND pp. 180.
Idioma: Inglés
Publicado por Springer, Springer Vieweg Dez 1999, 1999
ISBN 10: 354066579X ISBN 13: 9783540665793
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemania
EUR 53,49
Cantidad disponible: 1 disponibles
Añadir al carritoBuch. Condición: Neu. This item is printed on demand - Print on Demand Titel. 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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 180 pp. Englisch.
Librería: preigu, Osnabrück, Alemania
EUR 49,05
Cantidad disponible: 5 disponibles
Añadir al carritoBuch. Condición: Neu. Introduction to Process Algebra | Wan Fokkink | Buch | Texts in Theoretical Computer Science. An EATCS Series | viii | Englisch | 1999 | Springer | EAN 9783540665793 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand.