9783540665793 - introduction to process algebra (texts in theoretical computer science. an eatcs series) de fokkink, wan (16 resultados)
Idioma: Inglés
Editorial: Springer 1999
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 35 de 45. Libro 35 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: HPB-Red, Dallas, TX, Estados Unidos de AmericaHPB-Red
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 26,59
Envío por EUR 3,23Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. 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.
Idioma: Inglés
Editorial: Springer 23.12.1999. 1999
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 35 de 45. Libro 35 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: NEPO UG, Rüsselsheim am Main, , AlemaniaNEPO UG
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Excelente
EUR 24,75
Envío por EUR 24,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condició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.
Introduction to Process Algebra
Fokkink, Wan; Brauer, W. (EDT); Rozenberg, G. (EDT); Salomaa, A. (EDT)
Idioma: Inglés
Editorial: Springer 1999
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 35 de 45. Libro 35 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 59,12
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Idioma: Inglés
Editorial: Springer 1999
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 35 de 45. Libro 35 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,65
Envío por EUR 13,89Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Introduction to Process Algebra
Fokkink, Wan; Brauer, W. (EDT); Rozenberg, G. (EDT); Salomaa, A. (EDT)
Idioma: Inglés
Editorial: Springer 1999
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 35 de 45. Libro 35 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,63
Envío por EUR 17,39Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Introduction to Process Algebra
Fokkink, Wan; Brauer, W. (EDT); Rozenberg, G. (EDT); Salomaa, A. (EDT)
Idioma: Inglés
Editorial: Springer 1999
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 35 de 45. Libro 35 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: GreatBookPrices, Columbia, MD, Estados Unidos de AmericaGreatBookPrices
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 76,59
Envío por EUR 2,28Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Springer 1999
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 35 de 45. Libro 35 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 76,05
Envío por EUR 3,44Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 180.
Introduction to Process Algebra
Fokkink, Wan; Brauer, W. (EDT); Rozenberg, G. (EDT); Salomaa, A. (EDT)
Idioma: Inglés
Editorial: Springer 1999
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 35 de 45. Libro 35 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: GreatBookPricesUK, Woodford Green, Reino UnidoGreatBookPricesUK
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Como Nuevo
EUR 65,56
Envío por EUR 17,39Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: As New. Unread book in perfect condition.
Idioma: Inglés
Editorial: Springer 1999
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 35 de 45. Libro 35 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de AmericaBennettBooksLtd
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 103,75
Envío por EUR 5,99Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
hardcover. Condición: New. In shrink wrap. Looks like an interesting title.
Idioma: Inglés
Editorial: Springer 1999
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 35 de 45. Libro 35 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: BennettBooksLtd, Los Angeles, CA, Estados Unidos de AmericaBennettBooksLtd
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 103,76
Envío por EUR 5,99Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
hardcover. Condición: New. In shrink wrap. Looks like an interesting title.
Idioma: Inglés
Editorial: Springer, Springer Vieweg 1999
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 35 de 45. Libro 35 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 62,21Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Buch. 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 algebrai…cally, 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
Editorial: Springer Berlin Heidelberg Dez 1999 1999
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 35 de 45. Libro 35 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
- Impresión bajo demanda
Librería: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, , AlemaniaBuchWeltWeit Ludwig Meier e.K.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 23,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 2 disponibles
Buch. 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.
Idioma: Inglés
Editorial: Springer 1999
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 35 de 45. Libro 35 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, , Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 75,87
Envío por EUR 7,53Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand pp. 180 Illus.
Idioma: Inglés
Editorial: Springer 1999
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 35 de 45. Libro 35 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 76,03
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND pp. 180.
Idioma: Inglés
Editorial: Springer, Springer Vieweg Dez 1999 1999
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 35 de 45. Libro 35 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
- Impresión bajo demanda
Librería: buchversandmimpf2000, Emtmannsberg, BAYE, Alemaniabuchversandmimpf2000
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 53,49
Envío por EUR 60,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Buch. 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 syst…ems 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.
Idioma: Inglés
Editorial: Springer 1999
Serie: Texts in Theoretical Computer Science. An EATCS, Libro 35 de 45. Libro 35 de 45 - Texts in Theoretical Computer Science. An EATCS
- Tapa dura
- Impresión bajo demanda
Librería: preigu, Osnabrück, Alemaniapreigu
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 49,05
Envío por EUR 70,00Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 5 disponibles
Buch. 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 | Anb…ieter: preigu Print on Demand.
