Hermanns holger (127 risultati)

Brossura

Da: medimops, Berlin, Germaniamedimops

Venditore con 5 stelle

Brinksma, Ed [Editor]; Hermanns, Holger [Editor]; Katoen, Joost-Pieter [Editor];

Condizione: Usato - Molto buono

EUR 5,26

EUR 10,00 spedizione

Spedito da Germania a U.S.A.

Quantità: 1 disponibili

Condizione: 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.

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

Lingua: Inglese

Editore: Springer, 2001

Brossura

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

Venditore con 5 stelle

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

Condizione: Usato - Molto buono

EUR 16,87

EUR 6,11 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

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

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)

Lingua: Inglese

Editore: Springer, 2007

Brossura

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

Venditore con 5 stelle

3540222650 / 9783540222651

Condizione: Usato - Molto buono

EUR 32,88

EUR 6,11 spedizione

Spedito in U.S.A.

Quantità: 1 disponibili

Paperback. Condizione: 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).

Lingua: Inglese

Editore: Springer, Berlin, 2004

Brossura

Da: Emile Kerssemakers ILAB, Heerlen, Paesi BassiEmile Kerssemakers ILAB

Venditore con 5 stelle

Membro dell’associazione: NVVA, ILAB

Condizione: Usato

EUR 10,00

EUR 33,00 spedizione

Spedito da Paesi Bassi a U.S.A.

Quantità: 1 disponibili

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

Computer Aided Verification

Damm W.

Lingua: Inglese

Editore: Springer, 2007

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 53,41

Spedizione gratuita

Spedito in U.S.A.

Quantità: 1 disponibili

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

Computer Aided Verification

Lingua: Inglese

Editore: Springer, 2007

Brossura

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

Venditore con 4 stelle

Condizione: Nuovo

EUR 50,24

EUR 3,49 spedizione

Spedito in U.S.A.

Quantità: 4 disponibili

Condizione: New. pp. 584.

Computer Aided Verification

Lingua: Inglese

Editore: Springer, 2007

Brossura

Da: Majestic Books, Hounslow, Regno UnitoMajestic Books

Venditore con 4 stelle

Condizione: Nuovo

EUR 46,57

EUR 7,61 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 4 disponibili

Condizione: 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.

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)

Lingua: Inglese

Editore: Springer, 2020

Brossura

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

Venditore con 5 stelle

Damm Werner Hermanns Holger

Condizione: Nuovo

EUR 53,65

EUR 2,31 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

Computer Aided Verification

Lingua: Inglese

Editore: Springer, 2007

Brossura

Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios

Venditore con 4 stelle

Damm, Werner (EDT); Hermanns, Holger (EDT)

Condizione: Nuovo

EUR 45,26

EUR 9,95 spedizione

Spedito da Germania a U.S.A.

Quantità: 4 disponibili

Condizione: New. pp. 584.

Computer Aided Verification : 19th International Confernece, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings

Lingua: Inglese

Editore: Springer, 2007

Brossura

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

Venditore con 5 stelle

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

Condizione: Nuovo

EUR 55,86

EUR 2,31 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: New.

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

Lingua: Inglese

Editore: Springer, 2002

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 56,18

EUR 2,31 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: New.

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

Hermanns, Holger

Lingua: Inglese

Editore: Springer 7/10/2002, 2002

Brossura

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

Venditore con 5 stelle

Condizione: Nuovo

EUR 58,57

Spedizione gratuita

Spedito in U.S.A.

Quantità: 5 disponibili

Paperback or Softback. Condizione: 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)

Lingua: Inglese

Editore: Springer, 2002

Brossura

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

Venditore con 4 stelle

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

Condizione: Nuovo

EUR 61,21

Spedizione gratuita

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2006

3540330569 / 9783540330561

Brossura

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

Venditore con 5 stelle

Condizione: Usato - Come nuovo

EUR 60,74

EUR 2,31 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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)

Lingua: Inglese

Editore: Springer, 2020

Brossura

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

Venditore con 5 stelle

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

Condizione: Usato - Come nuovo

EUR 62,39

EUR 2,31 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2001

Brossura

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

Venditore con 5 stelle

Baier, Christel (EDT); Haverkort, Boudewijn R. (EDT); Hermanns, Holger (EDT); Katoen, Joost-Pieter (EDT); Siegle, Markus (EDT)

Condizione: Usato - Come nuovo

EUR 62,80

EUR 2,31 spedizione

Spedito in U.S.A.

Quantità: Più di 20 disponibili

Condizione: As New. Unread book in perfect condition.

Validation Of Stochastic Systems : A Guide To Current Research

Lingua: Inglese

Editore: Springer, 2004

3540222650 / 9783540222651

Brossura

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

Venditore con 5 stelle

3662181177 / 9783662181171

Condizione: Usato - Come nuovo

EUR 62,96

EUR 2,31 spedizione

Spedito in U.S.A.

Quantità: 15 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2014

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 55,08

EUR 14,02 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

COMPUTER AIDED VERIFICATION

DAMM W.

Lingua: Inglese

Editore: SP SPRINGER, 2007

Brossura
Edizione Internazionale

Da: UK BOOKS STORE, London, LONDO, Regno UnitoUK BOOKS STORE

Venditore con 5 stelle

Edizione Internazionale

Condizione: Nuovo

EUR 73,70

Spedizione gratuita

Spedito da Regno Unito a U.S.A.

Quantità: 3 disponibili

Condizione: New. 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 if t…

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

Lingua: Inglese

Editore: Springer, 2007

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

3540330569 / 9783540330561

Condizione: Nuovo

EUR 61,25

EUR 14,02 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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

Lingua: Inglese

Editore: Springer, 2006

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 61,25

EUR 14,02 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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)

Lingua: Inglese

Editore: Springer, 2002

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

3540222650 / 9783540222651

Condizione: Nuovo

EUR 61,25

EUR 14,02 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

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

Lingua: Inglese

Editore: Springer, 2004

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 61,25

EUR 14,02 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: 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)

Lingua: Inglese

Editore: Springer, 2001

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

3540442618 / 9783540442615

Condizione: Nuovo

EUR 61,25

EUR 14,02 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Interactive Markov Chains

Hermanns, Holger

Lingua: Inglese

Editore: Springer, 2002

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

Condizione: Nuovo

EUR 61,25

EUR 14,02 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

Measurement, Modelling and Evaluation of Computing Systems: 20th International GI/ITG Conference, MMB 2020, Saarbrücken, Germany, March 16-18, 2020, Proceedings (Programming and Software Engineering)

Lingua: Inglese

Editore: Springer, 2020

Brossura

Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections

Venditore con 5 stelle

3540442618 / 9783540442615

Condizione: Nuovo

EUR 61,25

EUR 14,02 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: Più di 20 disponibili

Condizione: New. In.

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

Holger Hermanns

Lingua: Inglese

Editore: Springer 2008-06-13, 2008

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Holger Hermanns, Roberto Segala

Condizione: Nuovo

EUR 57,48

EUR 18,13 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

Paperback. Condizione: New.

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

Lingua: Inglese

Editore: Springer 2009-02-22, 2009

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

Condizione: Nuovo

EUR 57,48

EUR 18,13 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

Paperback. Condizione: New.

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

Hermanns, Holger

Lingua: Inglese

Editore: Springer 2020-03, 2020

Brossura

Da: Chiron Media, Wallingford, Regno UnitoChiron Media

Venditore con 5 stelle

3540442618 / 9783540442615

Condizione: Nuovo

EUR 57,58

EUR 18,13 spedizione

Spedito da Regno Unito a U.S.A.

Quantità: 10 disponibili

PF. Condizione: New.

Interactive Markov Chains

Holger Hermanns

Lingua: Inglese

Editore: Springer, 2002

Brossura

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

Venditore con 4 stelle