Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Model Checking, Synthesis, and Learning

Name: Model Checking, Synthesis, and Learning
Brand: Springer Nature Switzerland AG
SKU: 38348905
Price: 1535 CZK
Availability: InStock
Author: Wang Yi
ISBN: 9783030913830

Wang Yi

Bernhard Steffen

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 38348905

Nakladatelství Springer Nature Switzerland AG, listopad 2021

This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers w... Celý popis

Libristo kód: 38348905

154 b

1 535 Kč

Skladem u dodavatele Odesíláme za 5-8 dnů

30 dní na vrácení zboží

Zákazníci také koupili

Die wichtigsten Schlachten, Belagerungen und verschanzten Lager vom Jahre 1708 bis 1855 G. Wittje

Brožovaná

954 Kč

Lectures A l'Academie Ernest Legouv

Brožovaná

651 Kč

PORTFOLIO N°5

Pevná

748 Kč

Los Zombies No Existen, ?O Si? (Zombies Don't Exist, or Do They?) Katia Ost

Brožovaná

221 Kč

Der Leseprofi - Arbeitsheft / Klasse 5 Ulrike Stolz

Brožovaná

381 Kč

romantische Geschichten erzählt von Rudi Friedrich Rudolf Friedrich

Brožovaná

460 Kč

Irgendwann kommen sie und holen mich ab Armin Sengbusch

Brožovaná

168 Kč

Suez-Kanal und seine kommerzielle Bedeutung, besonders fur Deutschland Wilhelm Zenker

Brožovaná

409 Kč

Královská hra 5 Hitori Renda

Brožovaná

180 Kč

CANTI CARINTHIAE GUITARE GUENTHER MITTERGRADN Tiskovina

Noty

436 Kč

60 ans, un nouveau cap Grevedon

Brožovaná

499 Kč

Lemurien Frank Joseph

Pevná

480 Kč

Soubor značek a číslic

Karty

25 Kč

Grosssteingraber und Feldsteinkirchen Olaf Jentzsch

Brožovaná

369 Kč

Musee Feminin: Galeries Illustrees Des Femmes Celebres Tome 2 Blanpain-N

Brožovaná

628 Kč

Recuerdos de la juventud. Mis dos viajes a Ame rica. Emilio Alcala Galiano

Brožovaná

528 Kč

Contes Choisis, Edition Revue Pour La Jeunesse KIPLING-R

Brožovaná

467 Kč

LA GRAN DEPRESIÓN DEL SIGLO XX ROBBINS

Pevná

788 Kč

Souvenirs Des Zouaves Pontificaux, 1861-1862. Tome 1 LE CHAUFF DE KERGUEN

Brožovaná

674 Kč

Berlin oder Juste Milieu Carl Sternheim

Pevná

346 Kč

Las Fiestas Judias y la Iglesia: Los hermosos simbolismos de la Biblia Cristo Revelado Sr Fernando Regnault

Brožovaná

174 Kč

Alte Meister für Sopran-/Altblockflöte und Klavier/Orgel. Ancient Masters Franz Kanefzky

List

383 Kč

Politische Korruption Walter Schmidt

Brožovaná

1 668 Kč

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.