Hermanns Holger (132 results)

Softcover

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks

5-star seller

Condition: Used - Very good

£ 7.81

£ 5.25 shipping

Ships within U.S.A.

Quantity: 1 available

Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.

Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Compu

Language: English

Published by Springer, 2001

Softcover

Seller: medimops, Berlin, Germanymedimops

5-star seller

Damm, Werner [Editor]; Hermanns, Holger [Editor];

Condition: Used - Very good

£ 4.94

£ 8.54 shipping

Ships from Germany to U.S.A.

Quantity: 1 available

Condition: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages.

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science / Theoretical Computer Science and General Issues)

Language: English

Published by Springer, 2007

Softcover

Seller: GuthrieBooks, Spring Branch, TX, U.S.A.GuthrieBooks

5-star seller

3540222650 / 9783540222651

Condition: Used - Very good

£ 28.24

£ 5.25 shipping

Ships within U.S.A.

Quantity: 1 available

Paperback. Condition: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments.

Validation of stochastic systems. a guide to current research.

BAIER, C. ET Al. (eds).

Language: English

Published by Springer, Berlin, 2004

Softcover

Seller: Emile Kerssemakers ILAB, Heerlen, NetherlandsEmile Kerssemakers ILAB

5-star seller

Association member: NVVAILAB

Condition: Used

£ 8.79

£ 28.18 shipping

Ships from Netherlands to U.S.A.

Quantity: 1 available

23 cm. original paperback. 466 pp. references. "Lecture Notes in Computer Science". -(libr labels, library stamp, otherwise good). 720g.

Computer Aided Verification

Damm W.

Language: English

Published by Springer, 2007

Softcover

Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International

5-star seller

Condition: New

£ 45.03

Free Shipping

Ships within U.S.A.

Quantity: 1 available

Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Computer Aided Verification

Language: English

Published by Springer, 2007

Softcover

Seller: Majestic Books, Hounslow, United KingdomMajestic Books

4-star seller

Condition: New

£ 39.14

£ 6.50 shipping

Ships from United Kingdom to U.S.A.

Quantity: 4 available

Condition: New. pp. 584 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss Lam.

Computer Aided Verification

Language: English

Published by Springer, 2007

Softcover

Seller: Books Puddle, New York, NY, U.S.A.Books Puddle

4-star seller

3030430235 / 9783030430238

Condition: New

£ 42.80

£ 2.99 shipping

Ships within U.S.A.

Quantity: 4 available

Condition: New. pp. 584.

Measurement, Modelling and Evaluation of Computing Systems : 20th International Gi/Itg Conference, Mmb 2020, Saarbrücken, Germany, March 16?18, 2020, Proceedings

Hermanns, Holger (EDT)

Language: English

Published by Springer, 2020

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Damm Werner Hermanns Holger

Condition: New

£ 45.81

£ 1.98 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Computer Aided Verification

Language: English

Published by Springer, 2007

Softcover

Seller: Biblios, frankfurt am main, HESSE, GermanyBiblios

4-star seller

Hermanns, Holger (EDT); Segala, Roberto (EDT)

Condition: New

£ 39.35

£ 8.50 shipping

Ships from Germany to U.S.A.

Quantity: 4 available

Condition: New. pp. 584.

Process Algebra and Probabilistic Methods : Performance Modeling and Verification : Second Joint International Workshop Papm-Probmiv 2002, Copenhagen, Denmark, July 25-26, 2002 : Proceedings

Language: English

Published by Springer, 2002

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Condition: New

£ 48.47

£ 1.98 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop Papm-Probmiv 2002, Copenhagen, D (Paperback or Softback)

Hermanns, Holger

Language: English

Published by Springer 7/10/2002, 2002

Softcover

Seller: BargainBookStores, Grand Rapids, MI, U.S.A.BargainBookStores

5-star seller

Condition: New

£ 50.51

Free Shipping

Ships within U.S.A.

Quantity: 5 available

Paperback or Softback. Condition: New. Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop Papm-Probmiv 2002, Copenhagen, D. Book.

Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, ... (Lecture Notes in Computer Science, 2399)

Language: English

Published by Springer, 2002

Softcover

Seller: California Books, Miami, FL, U.S.A.California Books

4-star seller

Brinksma, Ed (EDT); Hermanns, Holger (EDT); Katoen, Joost-Pieter (EDT)

Condition: New

£ 52.57

Free Shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Lectures on Formal Methods and Performance Analysis : First Eef Summer School on Trends in Computer Science, Berg En Dal, the Netherlands, July 3-7, 2000, Revised Lectures

Language: English

Published by Springer, 2001

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Hermanns, Holger (EDT); Palsberg, Jens (EDT)

Condition: New

£ 50.80

£ 1.98 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Tools And Algorithms for the Construction And Analysis of Systems : 12th Internation Converence, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 Vienna, Austria, March 25 - April 2, 2006 Proceedings

Language: English

Published by Springer, 2006

3540330569 / 9783540330561

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Hermanns, Holger (EDT); Palsberg, Jens (EDT)

Condition: New

£ 50.80

£ 1.98 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Tools And Algorithms for the Construction And Analysis of Systems : 12th Internation Converence, TACAS 2006 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006 Vienna, Austria, March 25 - April 2, 2006 Proceedings

Language: English

Published by Springer, 2006

3540330569 / 9783540330561

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

3030430235 / 9783030430238

Condition: Used - As new

£ 52.38

£ 1.98 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Measurement, Modelling and Evaluation of Computing Systems : 20th International Gi/Itg Conference, Mmb 2020, Saarbrücken, Germany, March 16?18, 2020, Proceedings

Hermanns, Holger (EDT)

Language: English

Published by Springer, 2020

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

Brinksma, Ed (EDT); Hermanns, Holger (EDT); Katoen, Joost-Pieter (EDT)

Condition: Used - As new

£ 53.76

£ 1.98 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Lectures on Formal Methods and Performance Analysis : First Eef Summer School on Trends in Computer Science, Berg En Dal, the Netherlands, July 3-7, 2000, Revised Lectures

Language: English

Published by Springer, 2001

Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices

5-star seller

3662181177 / 9783662181171

Condition: Used - As new

£ 54.15

£ 1.98 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July 3-7, 2000. Revised Lectures

Language: English

Published by Springer, 2014

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

Condition: New

£ 45.68

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

Computer Aided Verification: 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings (Lecture Notes in Computer Science, 4590)

Language: English

Published by Springer, 2007

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

3540330569 / 9783540330561

Condition: New

£ 50.80

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

Tools and Algorithms for the Construction and Analysis of Systems: 12th International Conference, TACAS 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 25 - April 2, 2006, Proceedings

Language: English

Published by Springer, 2006

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

Condition: New

£ 50.80

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

Process Algebra and Probabilistic Methods: Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, ... (Lecture Notes in Computer Science, 2399)

Language: English

Published by Springer, 2002

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

3540222650 / 9783540222651

Condition: New

£ 50.80

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

Validation of Stochastic Systems: A Guide to Current Research (Lecture Notes in Computer Science, 2925)

Language: English

Published by Springer, 2004

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

Condition: New

£ 50.80

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

Lectures on Formal Methods and Performance Analysis: First EEF/Euro Summer School on Trends in Computer Science Berg en Dal, The Netherlands, July ... (Lecture Notes in Computer Science, 2090)

Language: English

Published by Springer, 2001

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

3540442618 / 9783540442615

Condition: New

£ 50.80

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

Interactive Markov Chains

Hermanns, Holger

Language: English

Published by Springer, 2002

Softcover

Seller: Ria Christie Collections, Uxbridge, United KingdomRia Christie Collections

5-star seller

Condition: New

£ 50.80

£ 11.98 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New. In.

COMPUTER AIDED VERIFICATION

DAMM W.

Language: English

Published by SP SPRINGER, 2007

Softcover
International Edition

Seller: UK BOOKS STORE, London, LONDO, United KingdomUK BOOKS STORE

5-star seller

International Edition

Condition: Used

£ 64.39

Free Shipping

Ships from United Kingdom to U.S.A.

Quantity: 3 available

Condition: New Books. Brand New! Fast Delivery This is an International Edition and ship within 24-48 hours. Deliver by FedEx and Dhl, & Aramex, UPS, & USPS and we do accept APO and PO BOX Addresses. Order can be delivered worldwide within 6-10 days and we do have flat rate for up to 2LB. Extra shipping charges will be requested…

Computer Aided Verification

0

Language: English

Published by Springer, 2007

Softcover

Seller: Basi6 International, Irving, TX, U.S.A.Basi6 International

5-star seller

3540442618 / 9783540442615

Condition: New

£ 64.60

Free Shipping

Ships within U.S.A.

Quantity: 1 available

Condition: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.

Interactive Markov Chains

Holger Hermanns

Language: English

Published by Springer, 2002

Softcover

Seller: Books Puddle, New York, NY, U.S.A.Books Puddle

4-star seller

Holger Hermanns, Roberto Segala

Condition: New

£ 61.80

£ 2.99 shipping

Ships within U.S.A.

Quantity: 4 available

Condition: New. pp. 236.

Process Algebra and Probabilistic Methods Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, . (Lecture Notes in Computer Science)

Language: English

Published by Springer 2009-02-22, 2009

Softcover

Seller: Chiron Media, Wallingford, United KingdomChiron Media

5-star seller

3540442618 / 9783540442615

Condition: New

£ 47.67

£ 15.49 shipping

Ships from United Kingdom to U.S.A.

Quantity: 10 available

Paperback. Condition: New.

Interactive Markov Chains: The Quest for Quantified Quality (Lecture Notes in Computer Science)

Holger Hermanns

Language: English

Published by Springer 2008-06-13, 2008

Softcover

Seller: Chiron Media, Wallingford, United KingdomChiron Media

5-star seller

3030430235 / 9783030430238

Condition: New

£ 47.67

£ 15.49 shipping

Ships from United Kingdom to U.S.A.

Quantity: 10 available

Paperback. Condition: New.

Measurement, Modelling and Evaluation of Computing Systems : 20th International GI/ITG Conference, MMB 2020, Saarbrucken, Germany, March 16-18, 2020,

Hermanns, Holger

Language: English

Published by Springer 2020-03, 2020

Softcover

Seller: Chiron Media, Wallingford, United KingdomChiron Media

5-star seller