On the Pursuit of Insight and Elegance: Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday - Couverture souple
Synopsis
Andreas Podelski is one of the leading researchers in formal verification and software engineering, in particular automata and formal languages. After a Ph.D. from the University of Paris 7 in 1992 under the guidance of Maurice Nivat, he had research positions at DEC PRL and the Max Planck Institute for Computer Science. He was appointed to a professorship and Chair of Software Engineering at the University of Freiburg in 2006. Over the years, his teams have authored seminal papers presented at key international conferences that have significantly advanced the theory and practice of software model checking and verification at large, while also developing award-winning practical software verification techniques.
Andreas has a tireless dedication to distilling an idea to its very essence, challenging his collaborators and students to reach the highest level of academic rigor, and his group has shown a consistent ability to identify and solve the most challenging problems. The contributions in this volume reflect his outstanding achievements as a researcher and mentor.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour On the Pursuit of Insight and Elegance: Essays Dedicated...
Image d'archives
On the Pursuit of Insight and Elegance (Paperback)
Edité par
Springer Nature Switzerland AG, Cham, 2026
ISBN 10 : 3032137101
ISBN 13 : 9783032137104
Neuf
Paperback
Vendeur : Grand Eagle Retail, Bensenville, IL, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. Andreas Podelski is one of the leading researchers in formal verification and software engineering, in particular automata and formal languages. After a Ph.D. from the University of Paris 7 in 1992 under the guidance of Maurice Nivat, he had research positions at DEC PRL and the Max Planck Institute for Computer Science. He was appointed to a professorship and Chair of Software Engineering at the University of Freiburg in 2006. Over the years, his teams have authored seminal papers presented at key international conferences that have significantly advanced the theory and practice of software model checking and verification at large, while also developing award-winning practical software verification techniques. Andreas has a tireless dedication to distilling an idea to its very essence, challenging his collaborators and students to reach the highest level of academic rigor, and his group has shown a consistent ability to identify and solve the most challenging problems. The contributions in this volume reflect his outstanding achievements as a researcher and mentor. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. N° de réf. du vendeur 9783032137104
Acheter neuf
EUR 61,30
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
On the Pursuit of Insight and Elegance: Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday (Lecture Notes in Computer Science)
Vendeur : California Books, Miami, FL, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur I-9783032137104
Acheter neuf
EUR 61,31
Livraison gratuite
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
On the Pursuit of Insight and Elegance
Edité par
Springer, Berlin, Springer, 2026
ISBN 10 : 3032137101
ISBN 13 : 9783032137104
Neuf
Taschenbuch
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -Andreas Podelski is one of the leading researchers in formal verification and software engineering, in particular automata and formal languages. After a Ph.D. from the University of Paris 7 in 1992 under the guidance of Maurice Nivat, he had research positions at DEC PRL and the Max Planck Institute for Computer Science. He was appointed to a professorship and Chair of Software Engineering at the University of Freiburg in 2006. Over the years, his teams have authored seminal papers presented at key international conferences that have significantly advanced the theory and practice of software model checking and verification at large, while also developing award-winning practical software verification techniques. Andreas has a tireless dedication to distilling an idea to its very essence, challenging his collaborators and students to reach the highest level of academic rigor, and his group has shown a consistent ability to identify and solve the most challenging problems. The contributions in this volume reflect his outstanding achievements as a researcher and mentor. 155 pp. Englisch. N° de réf. du vendeur 9783032137104
Acheter neuf
EUR 53,49
Expédition à EUR 23
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
On the Pursuit of Insight and Elegance: Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, 14765)
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur 26405211994
Acheter neuf
EUR 82,68
Expédition à EUR 3,49
Expédition nationale : Etats-Unis
Expédition nationale : Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
On the Pursuit of Insight and Elegance: Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, 14765)
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 166 pages. 6.14x0.36x9.21 inches. In Stock. N° de réf. du vendeur x-3032137101
Acheter neuf
EUR 77,80
Expédition à EUR 11,73
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 2 disponible(s)
Image d'archives
On the Pursuit of Insight and Elegance: Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, 14765)
impression à la demandeVendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. Print on Demand. N° de réf. du vendeur 407942277
Acheter neuf
EUR 82,93
Expédition à EUR 7,62
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image d'archives
On the Pursuit of Insight and Elegance: Essays Dedicated to Andreas Podelski on the Occasion of His 65th Birthday (Lecture Notes in Computer Science, 14765)
impression à la demandeVendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. PRINT ON DEMAND. N° de réf. du vendeur 18405211984
Acheter neuf
EUR 82,93
Expédition à EUR 9,95
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
On the Pursuit of Insight and Elegance
Edité par
Springer Verlag GmbH, 2026
ISBN 10 : 3032137101
ISBN 13 : 9783032137104
Neuf
Couverture souple
Vendeur : moluna, Greven, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. N° de réf. du vendeur 2708886172
Acheter neuf
EUR 48,37
Expédition à EUR 48,99
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image d'archives
On the Pursuit of Insight and Elegance (Paperback)
Edité par
Springer Nature Switzerland AG, Cham, 2026
ISBN 10 : 3032137101
ISBN 13 : 9783032137104
Neuf
Paperback
Vendeur : CitiRetail, Stevenage, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : new. Paperback. Andreas Podelski is one of the leading researchers in formal verification and software engineering, in particular automata and formal languages. After a Ph.D. from the University of Paris 7 in 1992 under the guidance of Maurice Nivat, he had research positions at DEC PRL and the Max Planck Institute for Computer Science. He was appointed to a professorship and Chair of Software Engineering at the University of Freiburg in 2006. Over the years, his teams have authored seminal papers presented at key international conferences that have significantly advanced the theory and practice of software model checking and verification at large, while also developing award-winning practical software verification techniques. Andreas has a tireless dedication to distilling an idea to its very essence, challenging his collaborators and students to reach the highest level of academic rigor, and his group has shown a consistent ability to identify and solve the most challenging problems. The contributions in this volume reflect his outstanding achievements as a researcher and mentor. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability. N° de réf. du vendeur 9783032137104
Acheter neuf
EUR 67,02
Expédition à EUR 43,39
Expédition depuis Royaume-Uni vers Etats-Unis
Expédition depuis Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
On the Pursuit of Insight and Elegance
Edité par
Springer, Palgrave Macmillan Jan 2026, 2026
ISBN 10 : 3032137101
ISBN 13 : 9783032137104
Neuf
Taschenbuch
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -Andreas Podelski is one of the leading researchers in formal verification and software engineering, in particular automata and formal languages. After a Ph.D. from the University of Paris 7 in 1992 under the guidance of Maurice Nivat, he had research positions at DEC PRL and the Max Planck Institute for Computer Science. He was appointed to a professorship and Chair of Software Engineering at the University of Freiburg in 2006. Over the years, his teams have authored seminal papers presented at key international conferences that have significantly advanced the theory and practice of software model checking and verification at large, while also developing award-winning practical software verification techniques.Andreas has a tireless dedication to distilling an idea to its very essence, challenging his collaborators and students to reach the highest level of academic rigor, and his group has shown a consistent ability to identify and solve the most challenging problems. The contributions in this volume reflect his outstanding achievements as a researcher and mentor.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 168 pp. Englisch. N° de réf. du vendeur 9783032137104
Acheter neuf
EUR 53,49
Expédition à EUR 60
Expédition depuis Allemagne vers Etats-Unis
Expédition depuis Allemagne vers Etats-Unis
Quantité disponible : 1 disponible(s)