Tools algorithms construction analysis par biere armin (80 résultats)

Auteur:

Titre:

Affiner les résultats avec une recherche avancée

Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, Tacas 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2020, Dublin, Ireland, April 25?30, 2020, Proceedings
Biere, Armin (EDT); Parker, David (EDT)
Langue : anglais
Edité par Springer, 2020
3030452360 / 9783030452360
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 45,24
EUR 2,29 expédition
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Etat : New.
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint ... Computer Science and General Issues)
Langue : anglais
Edité par Springer, 2020
3030452360 / 9783030452360
- Couverture souple
Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books
Vendeur avec une évaluation de 4 étoiles
Contacter le vendeur
Etat: Neuf
EUR 53,57
Frais de port gratuits
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Etat : New.
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, Tacas 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2020, Dublin, Ireland, April 25?30, 2020, Proceedings
Biere, Armin (EDT); Parker, David (EDT)
Langue : anglais
Edité par Springer, 2020
3030452360 / 9783030452360
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Occasion - Comme neuf
EUR 51,26
EUR 2,29 expédition
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
Tools and Algorithms for the Construction and Analysis of Systems (Paperback or Softback)
Biere, Armin
Langue : anglais
Edité par Saint Philip Street Press 10/9/2020, 2020
101327718X / 9781013277184
- Couverture souple
Vendeur : BargainBookStores, Grand Rapids, MI, Etats-UnisBargainBookStores
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 56,94
Frais de port gratuits
Expédition nationale : Etats-Unis
Quantité disponible : 5 disponible(s)
Paperback or Softback. Etat : New. Tools and Algorithms for the Construction and Analysis of Systems. Book.
Tools and Algorithms for the Construction and Analysis of Systems
Biere, Armin
Langue : anglais
Edité par Saint Philip Street Press, 2020
1013277201 / 9781013277207
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 54,77
EUR 2,29 expédition
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Etat : New.
Tools and Algorithms for the Construction and Analysis of Systems
Biere, Armin; Parker, David
Langue : anglais
Edité par Saint Philip Street Press, 2020
1013277201 / 9781013277207
- Couverture souple
Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books
Vendeur avec une évaluation de 4 étoiles
Contacter le vendeur
Etat: Neuf
EUR 57,14
Frais de port gratuits
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Etat : New.
Tools and Algorithms for the Construction and Analysis of Systems
Biere, Armin
Langue : anglais
Edité par Saint Philip Street Press, 2020
1013277201 / 9781013277207
- Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Occasion - Comme neuf
EUR 57,17
EUR 2,29 expédition
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
Tools and Algorithms for the Construction and Analysis of Systems
Biere, Armin; Parker, David
Langue : anglais
Edité par Saint Philip Street Press, 2020
101327718X / 9781013277184
- Couverture souple
Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books
Vendeur avec une évaluation de 4 étoiles
Contacter le vendeur
Etat: Neuf
EUR 61,60
Frais de port gratuits
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Etat : New.
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint ... I (Lecture Notes in Computer Science, 12078)
Langue : anglais
Edité par Springer, 2020
3030451895 / 9783030451899
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 48,78
EUR 13,18 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Etat : New. In English.
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint ... Computer Science and General Issues)
Langue : anglais
Edité par Springer, 2020
3030452360 / 9783030452360
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 48,78
EUR 13,18 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Etat : New. In English.
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint . (Lecture Notes in Computer Science, 12078)
Armin Biere, David Parker
Langue : anglais
Edité par Springer 2020-04-18, 2020
3030451895 / 9783030451899
- Couverture souple
Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 44,99
EUR 18,09 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Paperback. Etat : New.
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, TACAS 2020, Held as Part of the European Joint Conf
Biere, Armin
Langue : anglais
Edité par Springer 2020-04, 2020
3030452360 / 9783030452360
- Couverture souple
Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 45,12
EUR 18,09 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
PF. Etat : New.
Tools and Algorithms for the Construction and Analysis of Systems
Biere, Armin; Parker, David
Langue : anglais
Edité par Saint Philip Street Press, 2020
101327721X / 9781013277214
- Couverture rigide
Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books
Vendeur avec une évaluation de 4 étoiles
Contacter le vendeur
Etat: Neuf
EUR 64,28
Frais de port gratuits
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Etat : New.
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, Tacas 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2020, Dublin, Ireland, April 25?30, 2020, Proceedings
Biere, Armin (EDT); Parker, David (EDT)
Langue : anglais
Edité par Springer, 2020
3030452360 / 9783030452360
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 48,10
EUR 17,51 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Etat : New.
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint . Computer Science and General Issues)
Langue : anglais
Edité par Springer, 2020
3030452360 / 9783030452360
- Couverture souple
Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle
Vendeur avec une évaluation de 4 étoiles
Contacter le vendeur
Etat: Neuf
EUR 66,97
EUR 3,46 expédition
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Etat : New. pp. 415.
Tools and Algorithms for the Construction and Analysis of Systems : 26th International Conference, Tacas 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2020, Dublin, Ireland, April 25?30, 2020, Proceedings
Biere, Armin (EDT); Parker, David (EDT)
Langue : anglais
Edité par Springer, 2020
3030452360 / 9783030452360
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Occasion - Comme neuf
EUR 53,31
EUR 17,51 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
Tools and Algorithms for the Construction and Analysis of Systems
Biere, Armin
Langue : anglais
Edité par Saint Philip Street Press, 2020
1013277198 / 9781013277191
- Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 69,95
EUR 2,29 expédition
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Etat : New.
Tools and Algorithms for the Construction and Analysis of Systems
Biere, Armin; Parker, David
Langue : anglais
Edité par Saint Philip Street Press, 2020
1013277198 / 9781013277191
- Couverture rigide
Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books
Vendeur avec une évaluation de 4 étoiles
Contacter le vendeur
Etat: Neuf
EUR 72,32
Frais de port gratuits
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Etat : New.
Tools and Algorithms for the Construction and Analysis of Systems
Biere, Armin
Langue : anglais
Edité par Saint Philip Street Press, 2020
1013277198 / 9781013277191
- Couverture rigide
Vendeur : GreatBookPrices, Columbia, MD, Etats-UnisGreatBookPrices
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Occasion - Comme neuf
EUR 71,51
EUR 2,29 expédition
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint . Computer Science and General Issues)
Langue : anglais
Edité par Springer, 2020
3030451895 / 9783030451899
- Couverture souple
Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle
Vendeur avec une évaluation de 4 étoiles
Contacter le vendeur
Etat: Neuf
EUR 70,52
EUR 3,46 expédition
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Etat : New. pp. 493.
Tools and Algorithms for the Construction and Analysis of Systems
Biere, Armin
Langue : anglais
Edité par Saint Philip Street Press 2020-10, 2020
1013277201 / 9781013277207
- Couverture souple
Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 57,44
EUR 18,09 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
PF. Etat : New.
Tools and Algorithms for the Construction and Analysis of Systems
Biere, Armin; Parker, David
Langue : anglais
Edité par Saint Philip Street Press, 2020
1013277201 / 9781013277207
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 60,60
EUR 17,44 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Etat : New. In English.
Tools and Algorithms for the Construction and Analysis of Systems
Biere, Armin
Langue : anglais
Edité par Saint Philip Street Press, 2020
1013277201 / 9781013277207
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 60,43
EUR 17,51 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Etat : New.
Tools and Algorithms for the Construction and Analysis of Systems
Biere, Armin
Langue : anglais
Edité par Saint Philip Street Press 2020-10, 2020
101327718X / 9781013277184
- Couverture souple
Vendeur : Chiron Media, Wallingford, Royaume-UniChiron Media
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 61,84
EUR 18,09 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
PF. Etat : New.
Tools and Algorithms for the Construction and Analysis of Systems
Biere, Armin; Parker, David
Langue : anglais
Edité par Saint Philip Street Press, 2020
101327721X / 9781013277214
- Couverture rigide
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 64,91
EUR 17,44 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Etat : New. In English.
Tools and Algorithms for the Construction and Analysis of Systems
Biere, Armin; Parker, David
Langue : anglais
Edité par Saint Philip Street Press, 2020
101327718X / 9781013277184
- Couverture souple
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 64,91
EUR 17,44 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Etat : New. In English.
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, Tacas 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2020, Dublin, Irel
Biere, Armin (Editor)/ Parker, David (Editor)
Langue : anglais
Edité par Springer-Nature New York Inc, 2020
3030452360 / 9783030452360
- Couverture souple
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 67,91
EUR 14,60 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Paperback. Etat : Brand New. 452 pages. 9.25x6.10x1.02 inches. In Stock.
Tools and Algorithms for the Construction and Analysis of Systems
Biere, Armin
Langue : anglais
Edité par Saint Philip Street Press, 2020
1013277201 / 9781013277207
- Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-UniGreatBookPricesUK
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Occasion - Comme neuf
EUR 65,28
EUR 17,51 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Etat : As New. Unread book in perfect condition.
Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, Tacas 2020, Held As Part of the European Joint Conferences on Theory and Practice of Software, Etaps 2020, Dublin, Irel
Biere, Armin (Editor)/ Parker, David (Editor)
Langue : anglais
Edité par Springer-Nature New York Inc, 2020
3030451895 / 9783030451899
- Couverture souple
Vendeur : Revaluation Books, Exeter, Royaume-UniRevaluation Books
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 69,12
EUR 14,60 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Paperback. Etat : Brand New. 528 pages. 9.25x6.10x1.19 inches. In Stock.
Tools and Algorithms for the Construction and Analysis of Systems
Biere, Armin; Parker, David
Langue : anglais
Edité par Saint Philip Street Press, 2020
1013277198 / 9781013277191
- Couverture rigide
Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections
Vendeur avec une évaluation de 5 étoiles
Contacter le vendeur
Etat: Neuf
EUR 69,23
EUR 17,44 expédition
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Etat : New. In English.