Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Tools and Algorithms for the Construction and Analysis of Systems: 29th Internat

Ø 0.0

0 Bewertungen

51,69 €

The proceedings also contain 1 invited talk in full paper length, 13 tool papers of the affiliated competition SV-Comp and 1 paper consisting of the competition report. TACAS is a forum for researchers, developers, and users interested in rigorously based tools and algorithms for the construction and analysis of systems.

Jetzt bei Ebay:

Zum Angebot *

Format:

Paperback
ISBN-13:

9783031308222
Author:

Sriram Sankaranarayanan, Natasha Sharygina
Book Title:

Tools and Algorithms for the Construction and Analysis of Systems
ISBN:

9783031308222

None:

International Standard : tracked-no signature (7 to 15 business days) 38,35 EUR - Lieferung zwischen 07. July 2025 und 15. July 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Irak , Libanon , Jemen , Amerikanisch-Samoa , Fidschi , Französisch-Polynesien , Neukaledonien , Papua-Neuguinea , Tonga , Tuvalu , ... und weitere

Tools and Algorithms for the Construction and Analysis of Systems: 29th Internat

Tools and Algorithms for the Construction and Analysis of Systems: 29th Internat

Tools and Algorithms for the Construction and Analysis of Systems: 28th Internat

Tools and Algorithms for the Construction and Analysis of Systems: 28th Internat

Tools and Algorithms for the Construction and Analysis of Systems: 30th Internat

Tools and Algorithms for the Construction and Analysis of Systems: 30th Internat

Tools and Algorithms for the Construction and Analysis of Systems: 31st Internat

Tools and Algorithms for the Construction and Analysis of Systems: 31st Internat

Tools and Algorithms for the Construction and Analysis of Systems: 30th Internat

Tools and Algorithms for the Construction and Analysis of Systems: 19th Internat

Tools and Algorithms for the Construction and Analysis of Systems: 21st Internat

Tools and Algorithms for the Construction and Analysis of Systems: 22nd Internat

Introduction to the Design and Analysis of Algorithms

Fisman - Tools and Algorithms for the Construction and Analysis of Sys - L555z

Fisman - Tools and Algorithms for the Construction and Analysis of Sys - L555z

Tools and Algorithms for the Construction and Analysis of Sys... - 9783031308222

Tools and Algorithms for the Construction and Analysis of Sys... - 9783031308192

Tools and Algorithms for the Construction and Analysis of Sys... - 9783030995263

Tools and Algorithms for the Construction and Analysis of Sys... - 9783030995232

Sankaranarayanan - Tools and Algorithms for the Construction and Analy - L555z

Sankaranarayanan - Tools and Algorithms for the Construction and Analy - L555z

Tools and Algorithms for the Construction and Analysis of Systems: 29th Internat

Ähnliche Artikel

Tools and Algorithms for the Construction and Analysis of Systems: 29th Internat

Tools and Algorithms for the Construction and Analysis of Systems: 28th Internat

Tools and Algorithms for the Construction and Analysis of Systems: 28th Internat

Tools and Algorithms for the Construction and Analysis of Systems: 30th Internat

Tools and Algorithms for the Construction and Analysis of Systems: 30th Internat

Tools and Algorithms for the Construction and Analysis of Systems: 31st Internat

Tools and Algorithms for the Construction and Analysis of Systems: 31st Internat

Tools and Algorithms for the Construction and Analysis of Systems: 30th Internat

Tools and Algorithms for the Construction and Analysis of Systems: 19th Internat

Tools and Algorithms for the Construction and Analysis of Systems: 21st Internat

Tools and Algorithms for the Construction and Analysis of Systems: 22nd Internat

Introduction to the Design and Analysis of Algorithms

Fisman - Tools and Algorithms for the Construction and Analysis of Sys - L555z

Fisman - Tools and Algorithms for the Construction and Analysis of Sys - L555z

Tools and Algorithms for the Construction and Analysis of Sys... - 9783031308222

Tools and Algorithms for the Construction and Analysis of Sys... - 9783031308192

Tools and Algorithms for the Construction and Analysis of Sys... - 9783030995263

Tools and Algorithms for the Construction and Analysis of Sys... - 9783030995232

Sankaranarayanan - Tools and Algorithms for the Construction and Analy - L555z

Sankaranarayanan - Tools and Algorithms for the Construction and Analy - L555z

Cookie Hinweis