Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday - Couverture souple
Synopsis
This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators.
Bengt has made major contributions covering a wide range of topics including verification and learning. His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research. Besides being an excellent scientist, Bengt is also a leader who has greatly influenced the careers of both his students and his colleagues.
His main focus throughout his career has been in the area of formal methods, and the research papers dedicated to him in this volume address related topics, particularly related to model checking, temporal logic, and automata learning.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Résultats de recherche pour Model Checking, Synthesis, and Learning: Essays Dedicated...
Image fournie par le vendeur
Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday
Edité par
Springer, 2021
ISBN 10 : 303091383X
ISBN 13 : 9783030913830
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 44048236
Acheter D'occasion
EUR 62,16
Frais de port :
EUR 2,28
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday (Theoretical Computer Science and General Issues)
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur ABLIING23Mar3113020033024
Acheter neuf
EUR 66,42
Frais de port :
EUR 3,45
Vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 44048236-n
Acheter neuf
EUR 67,61
Frais de port :
EUR 2,28
Vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday (Theoretical Computer Science and General Issues)
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9783030913830_new
Acheter neuf
EUR 61,11
Frais de port :
EUR 13,60
De Royaume-Uni vers Etats-Unis
Quantité disponible : Plus de 20 disponibles
Image fournie par le vendeur
Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 44048236-n
Acheter neuf
EUR 61,10
Frais de port :
EUR 17,03
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Model Checking, Synthesis, and Learning
Edité par
Springer Nature Switzerland AG, CH, 2021
ISBN 10 : 303091383X
ISBN 13 : 9783030913830
Neuf
Paperback
Vendeur : Rarewaves.com USA, London, LONDO, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : New. 1st ed. 2021. This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators.Bengt has made major contributions covering a wide range of topics including verification and learning. His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research. Besides being an excellent scientist, Bengt is also a leader who has greatly influenced the careers of both his students and his colleagues.His main focus throughout his career has been in the area of formal methods, and the research papers dedicated to him in this volume address related topics, particularly related to model checking, temporal logic, and automata learning. N° de réf. du vendeur LU-9783030913830
Acheter neuf
EUR 79,40
Frais de port :
Gratuit
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image fournie par le vendeur
Model Checking, Synthesis, and Learning : Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday
Edité par
Springer, 2021
ISBN 10 : 303091383X
ISBN 13 : 9783030913830
Ancien ou d'occasion
Couverture souple
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : As New. Unread book in perfect condition. N° de réf. du vendeur 44048236
Acheter D'occasion
EUR 64,80
Frais de port :
EUR 17,03
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on the Occasion of His 60th Birthday
Edité par
Springer-Nature New York Inc, 2021
ISBN 10 : 303091383X
ISBN 13 : 9783030913830
Neuf
Paperback
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback. Etat : Brand New. 227 pages. 9.25x6.10x0.59 inches. In Stock. This item is printed on demand. N° de réf. du vendeur __303091383X
Acheter neuf
EUR 70,84
Frais de port :
EUR 11,35
De Royaume-Uni vers Etats-Unis
Quantité disponible : 1 disponible(s)
Image d'archives
Model Checking, Synthesis, and Learning: Essays Dedicated to Bengt Jonsson on The Occasion of His 60th Birthday: 13030 (Lecture Notes in Computer Science, 13030)
Vendeur : Chiron Media, Wallingford, Royaume-Uni
Évaluation du vendeur 4 sur 5 étoiles
Paperback. Etat : New. N° de réf. du vendeur 6666-IUK-9783030913830
Acheter neuf
EUR 67,96
Frais de port :
EUR 17,58
De Royaume-Uni vers Etats-Unis
Quantité disponible : 10 disponible(s)
Image fournie par le vendeur
Model Checking, Synthesis, and Learning
Edité par
Springer International Publishing Nov 2021, 2021
ISBN 10 : 303091383X
ISBN 13 : 9783030913830
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 -This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers written by many of his friends and collaborators.Bengt has made major contributions covering a wide range of topics including verification and learning. His works on verification, in finite state systems, learning, testing, probabilistic systems, timed systems, and distributed systems reflect both the diversity and the depth of his research. Besides being an excellent scientist, Bengt is also a leader who has greatly influenced the careers of both his students and his colleagues.His main focus throughout his career has been in the area of formal methods, and the research papers dedicated to him in this volume address related topics, particularly related to model checking, temporal logic, and automata learning. 232 pp. Englisch. N° de réf. du vendeur 9783030913830
Acheter neuf
EUR 69,54
Frais de port :
EUR 23
De Allemagne vers Etats-Unis
Quantité disponible : 2 disponible(s)