Verifică starea comenzii
LIBRISTO
LIBROAMANTO
obligatoriu
Parolă uitată
Faceți parte dintr-o comunitate de iubitori de cărți din întreaga lume și beneficiați de o mulțime de avantaje Creați-vă un cont gratuit
0
Transport gratuit la punctele de livrare Pick Up peste 349.00 lei
Packeta 15.00 lei Serviciul de curierat Cargus 28.00 lei Easybox 20.00 lei FAN Courier 20.00 lei Punct FAN 16.00 lei Punct DPD 17.00 lei Curier DPD 25.00 lei
phone Contact phoneCum să cumpăr
Livrare gratuită pentru comenzile peste 349,00 lei.

Model Checking, Synthesis, and Learning

Limba englezăengleză
Carte Carte broșată
Carte Model Checking, Synthesis, and Learning Wang Yi
Codul Libristo: 38348905
Editura Springer Nature Switzerland AG, noiembrie 2021
This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers w... Descrierea completă
? points 171 b
370.97 lei
În depozitul extern Expediem în 5-8 zile

Până la 30 de zile pentru returnare

Clienții au cumpărat de asemenea

Die wichtigsten Schlachten, Belagerungen und verschanzten Lager vom Jahre 1708 bis 1855 G. Wittje / Carte Carte broșată
common.buy 232.59 lei
Lectures A l'Academie Ernest Legouv / Carte Carte broșată
common.buy 154.82 lei
Curând
PORTFOLIO N°5 / Carte Copertă tare
common.buy 161.27 lei
Los Zombies No Existen, ?O Si? (Zombies Don't Exist, or Do They?) Katia Ost / Carte Carte broșată
common.buy 53.51 lei
Der Leseprofi - Arbeitsheft / Klasse 5 Ulrike Stolz / Carte Carte broșată
common.buy 93.70 lei
romantische Geschichten erzählt von Rudi Friedrich Rudolf Friedrich / Carte Carte broșată
common.buy 99.53 lei
Irgendwann kommen sie und holen mich ab Armin Sengbusch / Carte Carte broșată
common.buy 41.01 lei
Suez-Kanal und seine kommerzielle Bedeutung, besonders fur Deutschland Wilhelm Zenker / Carte Carte broșată
common.buy 99.74 lei
Královská hra 5 Hitori Renda / Carte Carte broșată
common.buy 39.24 lei
60 ans, un nouveau cap Grevedon / Carte Carte broșată
common.buy 107.55 lei
Lemurien Frank Joseph / Carte Copertă tare
common.buy 110.77 lei
Curând
Soubor značek a číslic / Materiale tipărite Cărți
common.buy 5.40 lei
Grosssteingraber und Feldsteinkirchen Olaf Jentzsch / Carte Carte broșată
common.buy 89.74 lei
Musee Feminin: Galeries Illustrees Des Femmes Celebres Tome 2 Blanpain-N / Carte Carte broșată
common.buy 133.37 lei
Recuerdos de la juventud. Mis dos viajes a Ame rica. Emilio Alcala Galiano / Carte Carte broșată
common.buy 126.18 lei
Contes Choisis, Edition Revue Pour La Jeunesse KIPLING-R / Carte Carte broșată
common.buy 111.61 lei
LA GRAN DEPRESIÓN DEL SIGLO XX ROBBINS / Carte Copertă tare
common.buy 155.02 lei
Souvenirs Des Zouaves Pontificaux, 1861-1862. Tome 1 LE CHAUFF DE KERGUEN / Carte Carte broșată
common.buy 160.23 lei
Berlin oder Juste Milieu Carl Sternheim / Carte Copertă tare
common.buy 84.33 lei
Las Fiestas Judias y la Iglesia: Los hermosos simbolismos de la Biblia Cristo Revelado Sr Fernando Regnault / Carte Carte broșată
common.buy 41.85 lei
Alte Meister für Sopran-/Altblockflöte und Klavier/Orgel. Ancient Masters Franz Kanefzky / Carte Foaie
common.buy 94.11 lei
Politische Korruption Walter Schmidt / Carte Carte broșată
common.buy 361.70 lei

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.

Actriță & Poliglotă
EWA KASP pentru
Redă videoclipul
Ewa Kasp
Libristo are cea mai mare selecție de literatură în limbi străine. De aceea îmi cumpăr cărțile de aici.

Informații despre carte

Titlu complet Model Checking, Synthesis, and Learning
Autor Wang Yi, Bernhard Steffen
Limba engleză
Legare Carte - Carte broșată
Data publicării 2021
Număr pagini 219
EAN 9783030913830
ISBN 303091383X
Codul Libristo 38348905
Editura Springer Nature Switzerland AG
Greutatea 361
Dimensiuni 155 x 235 x 13

Categorii

Computing & Information Technology > Computer science > Artificial intelligence > Expert systems / knowledge-based systems
Computing & Information Technology > Computer programming / software engineering > Algorithms & data structures
Computing & Information Technology > Computer programming / software engineering > Software Engineering
Computing & Information Technology > Computer science > Mathematical theory of computation
Dăruiește această carte chiar astăzi
Este foarte ușor
1 Adaugă cartea în coș și selectează Livrează ca un cadou 2 Îți vom trimite un voucher în schimb 3 Cartea va ajunge direct la adresa destinatarului

Ar putea de asemenea, să te intereseze

Beginners' Guide to Scanning Electron Microscopy Anwar UL-Hamid / Carte Carte broșată
common.buy 613.36 lei
On With the Show Rob Scotton / Carte Carte broșată
common.buy 31.64 lei
Culture of Connectivity Jose van Dijck / Carte Copertă tare
common.buy 848.46 lei
Ruth First and Joe Slovo in the War Against Apartheid Alan Wieder / Carte Copertă tare
common.buy 594.93 lei
Symbolic Interactionism in the Gospel According to John Elia Shabani Mligo / Carte Carte broșată
common.buy 83.91 lei
The Life of Saint Augustine: A Translation of the Sancti Augustini Vita by Possidius, Bishop of Calama Possidius / Carte Carte broșată
common.buy 104.94 lei
Free To Be Ruth Bader Ginsburg Teri Kanefield / Carte Carte broșată
common.buy 97.55 lei
A Treatise on the Practice of Conveyancing. William Whittaker Barry / Carte Carte broșată
common.buy 173.87 lei
Married and Broken; Divorced and Whole! Paula Cook Kilcrease / Carte Carte broșată
common.buy 81.93 lei
Great U.S. Drama Films SCOTT V. PALMER / Carte Copertă tare
common.buy 351.08 lei
Playing for Keeps Warren Goldstein / Carte Copertă tare
common.buy 385.34 lei
Kick Off! A Football Puzzle Book Clive Gifford / Carte Carte broșată
common.buy 48.82 lei
Cultural Competency for Emergency and Crisis Management Claire Connolly Knox / Carte Carte broșată
common.buy 366.60 lei
Crochet Hacking Emma Friedlander-Collins / Carte Carte broșată
common.buy 100.15 lei
Illuminatista: Homo Sapiens: The Wisdom of Dr. Julie Williams, In Over 1,234 Crazy Statements Julie Williams / Carte Carte broșată
common.buy 57.05 lei
Prisons and Prisoners Joseph Adshead / Carte Carte broșată
common.buy 178.24 lei
Treasures of Encouragement: Women Helping Women / Carte Carte broșată
common.buy 100.36 lei
Byker Sirkka-Liisa Konttinen / Carte Copertă tare
common.buy 264.97 lei
Sex, Botany and Empire (Icon Science) Patricia Fara / E-book Adobe ePub DRM
common.buy 39.45 lei
Midnight Book Club Jeremy Bates / E-book Adobe ePub DRM
common.buy 7.17 lei
Get Off Your Arse and Grab that New Job Steve Miller / Carte Carte broșată
common.buy 95.15 lei
Well Done Sam! ELT Edition Tony Bradman / Carte Carte broșată
common.buy 23.21 lei
Predictive Modeling and Risk Assessment Rui Costa / Carte Copertă tare
common.buy 600.87 lei
Caddisflies Glenn B. Wiggins / Carte Copertă tare
common.buy 1 168.63 lei

Logare

Conectare la contul de utilizator Încă nu ai un cont Libristo? Crează acum!

 
obligatoriu
obligatoriu
Parolă uitată

Nu ai un cont? Beneficii cu contul Libristo!

Datorită contului Libristo, vei avea totul sub control.

Creare cont Libristo
Consilier de cărți Libroamiko
Bună ziua, sunt Libroamiko, vă pot ajuta?