Podelski Andreas Edt (18 results)

3540591559 / 9783540591559

Language: English

Published by Springer, 1995

Softcover

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

5-star seller

Podelski, Andreas (EDT); Taïani, Francois (EDT)

Condition: New

£ 50.29

£ 1.97 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: New.

Networked Systems : 6th International Conference, Netys 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers

Language: English

Published by Springer, 2019

3030055280 / 9783030055288

Softcover

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

5-star seller

Cook, Byron (EDT); Podelski, Andreas (EDT)

Condition: New

£ 52.59

£ 1.97 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: New.

Verification, Model Checking, and Abstract Interpretation : 8th International Conference, Vmcai 2007, Nice, France, January 14-16, 2007, Proceedings

Language: English

Published by Springer, 2007

3540697357 / 9783540697350

Softcover

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

5-star seller

Condition: Used - As new

£ 53.64

£ 1.97 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: As New. Unread book in perfect condition.

Constraint Programming : Basics and Trends : 1994 Chatillon Spring School, Chatillon-Sur-Seine, France, May 16-20, 1994 : Selected Papers

3540591559 / 9783540591559

Language: English

Published by Springer, 1995

Softcover

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

5-star seller

Condition: Used - As new

£ 53.64

£ 1.97 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: As New. Unread book in perfect condition.

Static Analysis : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29?31, 2018, Proceedings

Language: English

Published by Springer, 2018

Softcover

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

5-star seller

Podelski, Andreas (EDT); Taïani, Francois (EDT)

Condition: Used - As new

£ 53.89

£ 1.97 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Networked Systems : 6th International Conference, Netys 2018, Essaouira, Morocco, May 9-11, 2018, Revised Selected Papers

Language: English

Published by Springer, 2019

3030055280 / 9783030055288

Softcover

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

5-star seller

Cook, Byron (EDT); Podelski, Andreas (EDT)

Condition: Used - As new

£ 54.03

£ 1.97 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: As New. Unread book in perfect condition.

Verification, Model Checking, and Abstract Interpretation : 8th International Conference, Vmcai 2007, Nice, France, January 14-16, 2007, Proceedings

Language: English

Published by Springer, 2007

3540697357 / 9783540697350

Softcover

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

5-star seller

Condition: New

£ 55.37

£ 1.97 shipping

Ships within U.S.A.

Quantity: 15 available

Condition: New.

Static Analysis : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29?31, 2018, Proceedings

Language: English

Published by Springer, 2018

Softcover

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

5-star seller

Condition: New

£ 55.52

£ 1.97 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Static Analysis : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29?31, 2018, Proceedings

Language: English

Published by Springer, 2018

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: New

£ 50.42

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Static Analysis : 25th International Symposium, SAS 2018, Freiburg, Germany, August 29?31, 2018, Proceedings

Language: English

Published by Springer, 2018

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: Used - As new

£ 55.93

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Tools and Algorithms for the Construction and Analysis of Systems : 10th International Conference, Tacas 2004, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2004, Barselona

Language: English

Published by Springer, 2004

Softcover

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

5-star seller

Condition: Used - As new

£ 105.67

£ 1.97 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Tools and Algorithms for the Construction and Analysis of Systems : 10th International Conference, Tacas 2004, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2004, Barselona

Language: English

Published by Springer, 2004

Softcover

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

5-star seller

Condition: New

£ 108.77

£ 1.97 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Tools and Algorithms for the Construction and Analysis of Systems : 10th International Conference, Tacas 2004, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2004, Barselona

Language: English

Published by Springer, 2004

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: New

£ 100.02

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Tools and Algorithms for the Construction and Analysis of Systems : 10th International Conference, Tacas 2004, Held As Part of the Joint European Conferences on Theory and Practice of Software, Etaps 2004, Barselona

Language: English

Published by Springer, 2004

Softcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: Used - As new

£ 107.93

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Tree Automata and Languages

Language: English

Published by North Holland, 1992

Hardcover

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

5-star seller

Condition: New

£ 150.41

£ 1.97 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: New.

Tree Automata and Languages

Language: English

Published by North Holland, 1992

Hardcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller

Condition: New

£ 141.90

£ 15.00 shipping

Ships from United Kingdom to U.S.A.

Quantity: Over 20 available

Condition: New.

Tree Automata and Languages

Language: English

Published by North Holland, 1992

Hardcover

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

5-star seller

Condition: Used - As new

£ 159.55

£ 1.97 shipping

Ships within U.S.A.

Quantity: Over 20 available

Condition: As New. Unread book in perfect condition.

Tree Automata and Languages

Language: English

Published by North Holland, 1992

Hardcover

Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK

5-star seller