Vendeur : Roland Antiquariat UG haftungsbeschränkt, Weinheim, Allemagne
EUR 16,30
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panier2000. 176 p. Unread book. Like new. 9783540665793 Sprache: Englisch Gewicht in Gramm: 318 Hardcover: 23.4 x 1.1 x 15.6 cm.
Vendeur : HPB-Red, Dallas, TX, Etats-Unis
EUR 39,03
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : 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!
EUR 11
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierBerlin, Springer 2000. VIII, 163 S., OPappband Neuwertig.
Vendeur : NEPO UG, Rüsselsheim am Main, Allemagne
EUR 24,75
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierEtat : 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.
EUR 53,18
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 1999
ISBN 10 : 354066579X ISBN 13 : 9783540665793
Langue: anglais
Vendeur : Grand Eagle Retail, Mason, OH, Etats-Unis
EUR 55,51
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierHardcover. Etat : new. Hardcover. 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. Manipulation of labelled transition systems offers a means of tracing flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically. This textbook gives an introduction into the basics of process algebra and its applications. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
EUR 53,20
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, Berlin, 2010
ISBN 10 : 3642085849 ISBN 13 : 9783642085840
Langue: anglais
Vendeur : Grand Eagle Retail, Mason, OH, Etats-Unis
Edition originale
EUR 55,53
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierPaperback. Etat : new. Paperback. 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. 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. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
EUR 52,04
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
EUR 52,04
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
Vendeur : Best Price, Torrance, CA, Etats-Unis
EUR 48,37
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : New. SUPER FAST SHIPPING.
Vendeur : Best Price, Torrance, CA, Etats-Unis
EUR 48,37
Autre deviseQuantité disponible : 2 disponible(s)
Ajouter au panierEtat : New. SUPER FAST SHIPPING.
EUR 60,60
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
EUR 60,60
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 58,27
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
EUR 58,27
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New. In.
Vendeur : Chiron Media, Wallingford, Royaume-Uni
EUR 56,47
Autre deviseQuantité disponible : 10 disponible(s)
Ajouter au panierPaperback. Etat : New.
EUR 58,26
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
EUR 58,26
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : New.
EUR 73,18
Autre deviseQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 176.
EUR 73,72
Autre deviseQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New. pp. 180.
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
ISBN 10 : 3642085849 ISBN 13 : 9783642085840
Langue: anglais
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
EUR 68,36
Autre deviseQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 168 pages, 11 black & white tables, biography. BIC Classification: PBF; UF; UK; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 9. Weight in Grams: 284. . 2010. Softcover reprint of hardcover 1st ed. 2000. Paperback. . . . .
EUR 66,09
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
EUR 66,05
Autre deviseQuantité disponible : Plus de 20 disponibles
Ajouter au panierEtat : As New. Unread book in perfect condition.
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1999
ISBN 10 : 354066579X ISBN 13 : 9783540665793
Langue: anglais
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
EUR 71,52
Autre deviseQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New. Manipulation of labelled transition systems offers a means of tracing flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically. This textbook gives an introduction into the basics of process algebra and its applications. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 168 pages, 11 black & white tables, biography. BIC Classification: PBF; UF; UK; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 11. Weight in Grams: 432. . 1999. Hardback. . . . .
EUR 77,42
Autre deviseQuantité disponible : 4 disponible(s)
Ajouter au panierEtat : New.
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2010
ISBN 10 : 3642085849 ISBN 13 : 9783642085840
Langue: anglais
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
EUR 84,64
Autre deviseQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 168 pages, 11 black & white tables, biography. BIC Classification: PBF; UF; UK; UYAM. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 9. Weight in Grams: 284. . 2010. Softcover reprint of hardcover 1st ed. 2000. Paperback. . . . . Books ship from the US and Ireland.
Edité par Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1999
ISBN 10 : 354066579X ISBN 13 : 9783540665793
Langue: anglais
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
EUR 88,61
Autre deviseQuantité disponible : 15 disponible(s)
Ajouter au panierEtat : New. Manipulation of labelled transition systems offers a means of tracing flaws in software and hardware systems. Process algebra has been developed to express such labelled transition systems algebraically. This textbook gives an introduction into the basics of process algebra and its applications. Series: Texts in Theoretical Computer Science: An EATCS Series. Num Pages: 168 pages, 11 black & white tables, biography. BIC Classification: PBF; UF; UK; UYAM. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 11. Weight in Grams: 432. . 1999. Hardback. . . . . Books ship from the US and Ireland.
Vendeur : BennettBooksLtd, San Diego, NV, Etats-Unis
EUR 102,82
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : New. In shrink wrap. Looks like an interesting title!
Vendeur : BennettBooksLtd, San Diego, NV, Etats-Unis
EUR 102,82
Autre deviseQuantité disponible : 1 disponible(s)
Ajouter au panierhardcover. Etat : New. In shrink wrap. Looks like an interesting title!