Vérifier l'état de la commande
LIBRISTO
LIBROAMANTO
Obligatoire
Mot de passe oublié
Accédez à une communauté d'amateurs de livres à travers le monde et bénéficiez d’une panoplie d'avantages. Créer un compte gratuitement
0
Livraison gratuite avec Zásilkovna à partir de 69.99 €
Coursier DPD 6.49 € Point Bpost 8.49 € Bpost 7.99 € Point DPD 3.99 € Service de messagerie GLS 5.49 €
phone Contact phoneComment faire ses achats
Livraison gratuite à partir de 69.99 euros.

Model Checking, Synthesis, and Learning

Langue AnglaisAnglais
Livre Livre de poche
Livre Model Checking, Synthesis, and Learning Wang Yi
Code Libristo: 38348905
Éditeurs Springer Nature Switzerland AG, novembre 2021
This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers w... Description détaillée
? points 162 b
66.64 €
Stockage externe Expédition sous 5-8 jours

Jusqu'à 30 jours pour les retours

Les clients ont également acheté

Královská hra 5 Hitori Renda / Livre Livre de poche
common.buy 7.43 €
Suez-Kanal und seine kommerzielle Bedeutung, besonders fur Deutschland Wilhelm Zenker / Livre Livre de poche
common.buy 17.78 €
Ya puedo leer las vocales. Lectura A O U Ester Nievas Molina / Livre Livre de poche
common.buy 11.95 €
Lemurien Frank Joseph / Livre Livre relié
common.buy 24.02 €
Irgendwann kommen sie und holen mich ab Armin Sengbusch / Livre Livre de poche
common.buy 7.33 €
Access - Allgemeine Ausgabe 2022 - Band 5: Abschluss: 9. Schuljahr Shaunessy Ashdown / Livre Livre relié
common.buy 25.93 €
COMUNICACION ESPECIALIZADA EN TIEMPOS DE INCERTIDUMBRE SIERRA SANCHEZ / Livre Livre de poche
common.buy 52.07 €
romantische Geschichten erzählt von Rudi Friedrich Rudolf Friedrich / Livre Livre de poche
common.buy 18.69 €
Buch & Co. Baumwolltasche Lesen / Jeu/jouet Jouet
common.buy 5.42 €
Der Leseprofi - Arbeitsheft / Klasse 5 Ulrike Stolz / Livre Livre de poche
common.buy 16.68 €
Al pie de la torre Eiffel Emilia Pardo Bazan / Livre numérique Adobe ePub DRM
common.buy 6.22 €
HISTORIA SECRETA AMLO Y EL CARTEL DE SIN HERNANDEZ ANABEL / Livre Livre de poche
common.buy 18.89 €
Coloriages mystères Vaiana / Livre Livre de poche
common.buy 19.09 €
Los Zombies No Existen, ?O Si? (Zombies Don't Exist, or Do They?) Katia Ost / Livre Livre de poche
common.buy 9.64 €
Bientôt
PORTFOLIO N°5 / Livre Livre relié
common.buy 29.55 €
Alte Meister für Sopran-/Altblockflöte und Klavier/Orgel. Ancient Masters Franz Kanefzky / Livre Feuille
common.buy 16.78 €
Musee Feminin: Galeries Illustrees Des Femmes Celebres Tome 2 Blanpain-N / Livre Livre de poche
common.buy 26.83 €
Lectures A l'Academie Ernest Legouv / Livre Livre de poche
common.buy 28.84 €
Berlin oder Juste Milieu Carl Sternheim / Livre Livre relié
common.buy 15.07 €
Recuerdos de la juventud. Mis dos viajes a Ame rica. Emilio Alcala Galiano / Livre Livre de poche
common.buy 21.81 €
Politische Korruption Walter Schmidt / Livre Livre de poche
common.buy 68.25 €
Las Fiestas Judias y la Iglesia: Los hermosos simbolismos de la Biblia Cristo Revelado Sr Fernando Regnault / Livre Livre de poche
common.buy 7.63 €
Souvenirs Des Zouaves Pontificaux, 1861-1862. Tome 1 LE CHAUFF DE KERGUEN / Livre Livre de poche
common.buy 29.75 €
LA GRAN DEPRESIÓN DEL SIGLO XX ROBBINS / Livre Livre relié
common.buy 32.16 €

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.

Actrice & Polyglotte
EWA KASP pro
Regarder la vidéo
Ewa Kasp
Libristo propose la plus grande sélection littéraire en langues étrangères. N’hésitez plus et venez y acheter vos livres.

À propos du livre

Nom complet Model Checking, Synthesis, and Learning
Auteur Wang Yi, Bernhard Steffen
Langue Anglais
Reliure Livre - Livre de poche
Date de parution 2021
Nombre de pages 219
EAN 9783030913830
ISBN 303091383X
Code Libristo 38348905
Éditeurs Springer Nature Switzerland AG
Poids 361
Dimensions 155 x 235 x 13

Catégories

Informatique et technologies de l’information > Informatique > Intelligence artificielle > Systèmes experts / bases de connaissances
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Algorithmes et structures des données
Informatique et technologies de l’information > Programmation informatique / génie logiciel > Génie logiciel
Informatique et technologies de l’information > Informatique > Informatique théorique
Offrez ce livre dès aujourd'hui
C’est simple
1 Ajouter au panier et choisir l'option Livrer comme cadeau à la caisse. 2 Nous vous enverrons un bon d'achat 3 Le livre arrivera à l'adresse du destinataire

Ceci pourrait également vous intéresser

Beginners' Guide to Scanning Electron Microscopy Anwar UL-Hamid / Livre Livre de poche
common.buy 110.07 €
You on a Diet Michael F. Roizen / Livre Livre relié
common.buy 27.84 €
Culture of Connectivity Jose van Dijck / Livre Livre relié
common.buy 189.40 €
Ruth First and Joe Slovo in the War Against Apartheid Alan Wieder / Livre Livre relié
common.buy 111.28 €
Symbolic Interactionism in the Gospel According to John Elia Shabani Mligo / Livre Livre de poche
common.buy 15.37 €
The Life of Saint Augustine: A Translation of the Sancti Augustini Vita by Possidius, Bishop of Calama Possidius / Livre Livre de poche
common.buy 19.49 €
Italian Americans of Greater Erie Sandra S. Lee / Livre Livre relié
common.buy 25.12 €
Free To Be Ruth Bader Ginsburg Teri Kanefield / Livre Livre de poche
common.buy 18.19 €
A Treatise on the Practice of Conveyancing. William Whittaker Barry / Livre Livre de poche
common.buy 32.26 €
Die Elemente Der Algebraischen Analysis: Zun Chst Fur Seine Sch Ler Zsgest Jacob Pfeiffer / Livre Livre de poche
common.buy 15.87 €
Married and Broken; Divorced and Whole! Paula Cook Kilcrease / Livre Livre de poche
common.buy 15.07 €
Great U.S. Drama Films SCOTT V. PALMER / Livre Livre relié
common.buy 65.14 €
A Pocket Hymn Book: For the Use of Christians of All Denominations John Wesley / Livre Livre de poche
common.buy 18.69 €
Playing for Keeps Warren Goldstein / Livre Livre relié
common.buy 72.07 €
Origins of Monsters David Wengrow / Livre Livre de poche
common.buy 54.58 €
Kick Off! A Football Puzzle Book Clive Gifford / Livre Livre de poche
common.buy 9.64 €
Cultural Competency for Emergency and Crisis Management Claire Connolly Knox / Livre Livre de poche
common.buy 71.47 €
Thinking Like a Christian Study Guide, Series 2: Video Series Study Guide Breck Wheelock / Livre Livre de poche
common.buy 22.41 €
Crochet Hacking Emma Friedlander-Collins / Livre Livre de poche
common.buy 18.29 €
Illuminatista: Homo Sapiens: The Wisdom of Dr. Julie Williams, In Over 1,234 Crazy Statements Julie Williams / Livre Livre de poche
common.buy 10.55 €
Prisons and Prisoners Joseph Adshead / Livre Livre de poche
common.buy 33.07 €
Hormones, Metabolism and the Benefits of Exercise Bruce Spiegelman / Livre Livre de poche
common.buy 40.00 €
Treasures of Encouragement: Women Helping Women / Livre Livre de poche
common.buy 18.89 €
Sustainable Plant Nutrition Khalid Rehman Hakeem / Livre Livre de poche
common.buy 234.23 €

Connexion

Connectez-vous à votre compte. Vous n'avez pas encore de compte Libristo ? Créez-en un maintenant !

 
Obligatoire
Obligatoire
Mot de passe oublié

Vous n'avez pas encore de compte ? Découvrez les avantages d’avoir un compte Libristo !

Avec un compte Libristo, vous aurez tout sous contrôle.

Créer un compte Libristo
Conseiller littéraire Libroamiko
Bonjour, je suis Libroamiko, puis-je vous aider ?