Brinksma e ed (9 résultats)

Auteur:

Affiner les résultats avec une recherche avancée

Tools and Algorithms for the Construction and Analysis of Systems: Third International Workshop, Tacas'97, Enschede, the Netherlands, April 2-4, 1997, . 1217 (Lecture Notes in Computer Science)
Brinksma, E. (ed.)
Langue : anglais
Edité par Springer, 1997
3540627901 / 9783540627906
- Couverture souple
Vendeur : Anybook.com, Lincoln, Royaume-UniAnybook.com
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Occasion - Satisfaisant
EUR 5,33
EUR 15,87 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Etat : Good. This is an ex-library book and may have the usual library/used-book markings inside.This book has soft covers. In good all round condition. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,650grams, ISBN:9783540627906.
Autres images
Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, Tacas 97 Enschede, the Netherlands, April 2-4, 1997 : Proceedings
Brinksma, Ed (EDT)
Langue : anglais
Edité par Springer, 1997
3540627901 / 9783540627906
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Occasion - Comme neuf
EUR 43,83
EUR 2,32 expédition
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Etat : As New. Unread book in perfect condition.
Autres images
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
Brinksma, Ed (EDT); Hermanns, Holger (EDT); Katoen, Joost-Pieter (EDT)
Langue : anglais
Edité par Springer, 2001
3540424792 / 9783540424796
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 59,44
EUR 2,32 expédition
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Etat : New.
Autres images
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
Brinksma, Ed (EDT); Hermanns, Holger (EDT); Katoen, Joost-Pieter (EDT)
Langue : anglais
Edité par Springer, 2001
3540424792 / 9783540424796
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Occasion - Comme neuf
EUR 63,36
EUR 2,32 expédition
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
Autres images
Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, Tacas 97 Enschede, the Netherlands, April 2-4, 1997 : Proceedings
Brinksma, Ed (EDT)
Langue : anglais
Edité par Springer, 1997
3540627901 / 9783540627906
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 74,88
EUR 2,32 expédition
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Etat : New.
Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, Tacas 97 Enschede, the Netherlands, April 2-4, 1997 : Proceedings
Brinksma, Ed (EDT)
Langue : anglais
Edité par Springer, 1997
3540627901 / 9783540627906
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 60,63
EUR 17,50 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Etat : New.
Autres images
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
Brinksma, Ed (EDT); Hermanns, Holger (EDT); Katoen, Joost-Pieter (EDT)
Langue : anglais
Edité par Springer, 2001
3540424792 / 9783540424796
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 60,89
EUR 17,50 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Etat : New.
Autres images
Tools and Algorithms for the Construction and Analysis of Systems : Third International Workshop, Tacas 97 Enschede, the Netherlands, April 2-4, 1997 : Proceedings
Brinksma, Ed (EDT)
Langue : anglais
Edité par Springer, 1997
3540627901 / 9783540627906
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Occasion - Comme neuf
EUR 67,22
EUR 17,50 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
Autres images
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
Brinksma, Ed (EDT); Hermanns, Holger (EDT); Katoen, Joost-Pieter (EDT)
Langue : anglais
Edité par Springer, 2001
3540424792 / 9783540424796
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Occasion - Comme neuf
EUR 67,22
EUR 17,50 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.