Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I - Lijun Zhang, Tomás Vojnar
Acheter sur Amazon

Tools and Algorithms for the Construction and Analysis of Systems 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings, Part I

par ,
Langue
Anglais
Publié en
Maison d'édition
Springer
Pages
433
ISBN
9783030174620

Thèmes

Infos sur l'édition originale

Langue d'origine
Anglais
Éditeur d'origine Springer

Autres éditions (5)

Livres similaires

Algorithms to Live By The Computer Science of Human Decisions - Brian Christian, Tom Griffiths

Algorithms to Live By The Computer Science of Human Decisions

Brian Christian, Tom Griffiths

Anglais
 
Refactoring Improving the Design of Existing Code - Martin Fowler, Kent Beck

Refactoring Improving the Design of Existing Code

Martin Fowler, Kent Beck

Anglais
 
Weapons of Math Destruction How Big Data Increases Inequality and Threatens Democracy - Cathy O'Neil

Weapons of Math Destruction How Big Data Increases Inequality and Threatens Democracy

Cathy O'Neil

Anglais
 
The Information A History, a Theory, a Flood - James Gleick

The Information A History, a Theory, a Flood

James Gleick

Anglais
 

Livres similaires gratuits

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings - Alessandra Russo, Andy Schürr

Fundamental Approaches to Software Engineering 21st International Conference, FASE 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings

Alessandra Russo, Andy Schürr

Anglais
Lire
Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I - Hana Chockler, Georg Weissenbacher

Computer Aided Verification 30th International Conference, CAV 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, Proceedings, Part I

Hana Chockler, Georg Weissenbacher

Anglais
Lire
Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings - Christel Baier, Ugo Dal Lago

Foundations of Software Science and Computation Structures : 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Christel Baier, Ugo Dal Lago

Anglais
Lire
Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II - Isil Dillig, Serdar Tasiran

Computer Aided Verification 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II

Isil Dillig, Serdar Tasiran

Anglais
Lire