Computer systems construction algorithms

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,29

EUR 15,75 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.

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer 2023

3031308220 / 9783031308222

Couverture souple

Vendeur : Books From California, Simi Valley, CA, Etats-UnisBooks From California

Vendeur avec une évaluation de 4 étoiles

Contacter le vendeur

Etat: Occasion - Assez bon

EUR 27,02

EUR 4,31 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

paperback. Etat : Very Good.

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. . (Lecture Notes in Computer Science, 1019)

Langue : anglais

Edité par Springer 1995

3540606300 / 9783540606307

Couverture souple

Vendeur : HPB-Red, Dallas, TX, Etats-UnisHPB-Red

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Occasion - Satisfaisant

EUR 35,93

EUR 3,24 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

paperback. 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.

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer 2023

3031308190 / 9783031308192

Couverture souple

Vendeur : Books From California, Simi Valley, CA, Etats-UnisBooks From California

Vendeur avec une évaluation de 4 étoiles

Contacter le vendeur

Etat: Occasion - Assez bon

EUR 37,56

EUR 4,31 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

paperback. Etat : Very Good.

Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European . (Lecture Notes in Computer Science, 2619)

Garavel, Hubert, Hatcliff, John

Langue : anglais

Edité par Springer 2003

3540008985 / 9783540008989

Couverture souple

Vendeur : Zubal-Books, Since 1961, Cleveland, OH, Etats-UnisZubal-Books, Since 1961

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 39,65

EUR 3,89 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : New. *Price HAS BEEN REDUCED by 10% until Monday, June 15 (weekend SALE item)* 620 pp., Paperback, brand new! still in shrink wrap. - If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes,…

Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint . (Lecture Notes in Computer Science, 13994)

Natasha Sharygina, Sriram Sankaranarayanan

Langue : anglais

Edité par Springer 2023-04-20 2023

3031308190 / 9783031308192

Couverture souple

Vendeur : Chiron Media, Wallingford, , Royaume-UniChiron Media

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 38,07

EUR 17,94 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : New.

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint ... I (Lecture Notes in Computer Science, 14570)

Langue : anglais

Edité par Springer 2024

3031572459 / 9783031572456

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 43,05

EUR 13,88 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer 2023

3031308190 / 9783031308192

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 43,05

EUR 13,88 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint . Computer Science and General Issues)

Langue : anglais

Edité par Springer 2014

364254861X / 9783642548611

Couverture souple

Vendeur : Phatpocket Limited, Waltham Abbey, HERTS, Royaume-UniPhatpocket Limited

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Occasion - Satisfaisant

EUR 46,04

EUR 12,33 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint . Computer Science and General Issues)

Langue : anglais

Edité par Springer 2013

3642367410 / 9783642367410

Couverture souple

Vendeur : Phatpocket Limited, Waltham Abbey, HERTS, Royaume-UniPhatpocket Limited

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Occasion - Satisfaisant

EUR 46,04

EUR 12,33 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Etat : Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions.

Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, TACAS'99, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 1579)

Langue : anglais

Edité par Springer 1999

3540657037 / 9783540657033

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 4 étoiles

Contacter le vendeur

Etat: Neuf

EUR 60,52

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: 16th International Conference, TACAS 2010, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 6015)

Langue : anglais

Edité par Springer 2010

3642120016 / 9783642120015

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 4 étoiles

Contacter le vendeur

Etat: Neuf

EUR 60,52

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: 18th International Conference, TACAS 2012, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 7214)

Langue : anglais

Edité par Springer 2012

3642287557 / 9783642287558

Couverture souple

Vendeur : California Books, Miami, FL, Etats-UnisCalifornia Books

Vendeur avec une évaluation de 4 étoiles

Contacter le vendeur

Etat: Neuf

EUR 60,52

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: 30th International Conference, TACAS 2024, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 14572)

Langue : anglais

Edité par Springer 2024

3031572556 / 9783031572555

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,40

EUR 13,88 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer 2022

3030995267 / 9783030995263

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,40

EUR 13,88 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer 2022

3030995232 / 9783030995232

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,40

EUR 13,88 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Tools and Algorithms for the Construction and Analysis of Systems (Theoretical Computer Science and General Issues)

Langue : anglais

Edité par Springer 2021

3030720152 / 9783030720155

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,40

EUR 13,88 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Tools and Algorithms for the Construction and Analysis of Systems (Theoretical Computer Science and General Issues)

Langue : anglais

Edité par Springer 2021

3030720128 / 9783030720124

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,40

EUR 13,88 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

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 : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 48,40

EUR 13,88 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

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,63

EUR 17,94 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: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, . Part III (Lecture Notes in Computer Science)

Marieke Huisman, Dirk Beyer, Fabrice Kordon

Langue : anglais

Edité par Springer 2019-06-05 2019

3030175014 / 9783030175016

Couverture souple

Vendeur : Chiron Media, Wallingford, , Royaume-UniChiron Media

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 48,27

EUR 17,94 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : 1 disponible(s)

Paperback. Etat : New.

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ... Computer Science and General Issues)

Langue : anglais

Edité par Springer 2019

3030175014 / 9783030175016

Couverture souple

Vendeur : Ria Christie Collections, Uxbridge, Royaume-UniRia Christie Collections

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Neuf

EUR 53,74

EUR 13,88 expédition

Expédition depuis Royaume-Uni vers Etats-Unis

Quantité disponible : Plus de 20 disponibles

Etat : New. In.

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)

Langue : anglais

Edité par Springer 2025

3031906594 / 9783031906596

Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Contacter le vendeur

Etat: Neuf

EUR 65,14

EUR 3,45 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 4 disponible(s)

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,26

EUR 3,45 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 (Theoretical Computer Science and General Issues)

Langue : anglais

Edité par Springer 2021

3030720128 / 9783030720124

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,99

EUR 3,45 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 4 disponible(s)

Etat : New.

Tools and Algorithms for the Construction and Analysis of Systems (Theoretical Computer Science and General Issues)

Langue : anglais

Edité par Springer 2021

3030720152 / 9783030720155

Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Contacter le vendeur

Etat: Neuf

EUR 67,04

EUR 3,45 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 4 disponible(s)

Etat : New.

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European . Notes in Computer Science, 2280, Band 2280)

Stevens, Perdita und Joost-Pieter Katoen:

Langue : anglais

Edité par Springer 2008

3540434194 / 9783540434191

Couverture souple

Vendeur : Studibuch, Stuttgart, AllemagneStudibuch

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Occasion - Satisfaisant

EUR 6,99

EUR 62,30 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

paperback. Etat : Befriedigend. 500 Seiten; 9783540434191.4 Gewicht in Gramm: 1.

Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European . Notes in Computer Science, 2031, Band 2031)

Margaria, Tiziana und Wang Yi:

Langue : anglais

Edité par Springer 2009

3540418652 / 9783540418658

Couverture souple

Vendeur : Studibuch, Stuttgart, AllemagneStudibuch

Vendeur avec une évaluation de 5 étoiles

Contacter le vendeur

Etat: Occasion - Satisfaisant

EUR 6,99

EUR 62,30 expédition

Expédition depuis Allemagne vers Etats-Unis

Quantité disponible : 1 disponible(s)

paperback. Etat : Befriedigend. 608 Seiten; 9783540418658.4 Gewicht in Gramm: 1.

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint . II (Lecture Notes in Computer Science, 14571)

Langue : anglais

Edité par Springer 2024

3031572483 / 9783031572487

Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Contacter le vendeur

Etat: Neuf

EUR 67,95

EUR 3,45 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 4 disponible(s)

Etat : New. 2024th edition NO-PA16APR2015-KAP.

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint . I (Lecture Notes in Computer Science, 14570)

Langue : anglais

Edité par Springer 2024

3031572459 / 9783031572456

Couverture souple

Vendeur : Books Puddle, New York, NY, Etats-UnisBooks Puddle

Vendeur avec une évaluation de 4 étoiles

Contacter le vendeur

Etat: Neuf

EUR 68,15

EUR 3,45 expédition

Expédition nationale : Etats-Unis

Quantité disponible : 4 disponible(s)

Etat : New. 2024th edition NO-PA16APR2015-KAP.

Computer systems construction algorithms (139 résultats)

Affiner la recherche

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)

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)

Tools and Algorithms for the Construction and Analysis of Systems: First International Workshop, TACAS '95, Aarhus, Denmark, May 19 - 20, 1995. . (Lecture Notes in Computer Science, 1019)

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)

Tools and Algorithms for the Construction and Analysis of Systems: 9th International Conference, TACAS 2003, Held as Part of the Joint European . (Lecture Notes in Computer Science, 2619)

Tools and Algorithms for the Construction and Analysis of Systems: 29th International Conference, TACAS 2023, Held as Part of the European Joint . (Lecture Notes in Computer Science, 13994)

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint ... I (Lecture Notes in Computer Science, 14570)

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)

Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint . Computer Science and General Issues)

Tools and Algorithms for the Construction and Analysis of Systems: 19th International Conference, TACAS 2013, Held as Part of the European Joint . Computer Science and General Issues)

Tools and Algorithms for the Construction of Analysis of Systems: 5th International Conference, TACAS'99, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 1579)

Tools and Algorithms for the Construction and Analysis of Systems: 16th International Conference, TACAS 2010, Held as Part of the Joint European ... (Lecture Notes in Computer Science, 6015)

Tools and Algorithms for the Construction and Analysis of Systems: 18th International Conference, TACAS 2012, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 7214)

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint ... (Lecture Notes in Computer Science, 14572)

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)

Tools and Algorithms for the Construction and Analysis of Systems (Theoretical Computer Science and General Issues)

Tools and Algorithms for the Construction and Analysis of Systems (Theoretical Computer Science and General Issues)

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)

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)

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, . Part III (Lecture Notes in Computer Science)

Tools and Algorithms for the Construction and Analysis of Systems: 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, ... Computer Science and General Issues)

Tools and Algorithms for the Construction and Analysis of Systems (Lecture Notes in Computer Science)

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)

Tools and Algorithms for the Construction and Analysis of Systems (Theoretical Computer Science and General Issues)

Tools and Algorithms for the Construction and Analysis of Systems (Theoretical Computer Science and General Issues)

Tools and Algorithms for the Construction and Analysis of Systems: 8th International Conference, TACAS 2002, Held as Part of the Joint European . Notes in Computer Science, 2280, Band 2280)

Tools and Algorithms for the Construction and Analysis of Systems: 7th International Conference, TACAS 2001 Held as Part of the Joint European . Notes in Computer Science, 2031, Band 2031)

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint . II (Lecture Notes in Computer Science, 14571)

Tools and Algorithms for the Construction and Analysis of Systems: 30th International Conference, TACAS 2024, Held as Part of the European Joint . I (Lecture Notes in Computer Science, 14570)