Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Sprawdzić stan zamówienia

Zostań członkiem wspólnoty miłośników książek z całego świata i zyskaj mnóstwo korzyści. Załóż konto bezpłatnie

Darmowa dostawa z usługą Inpost oraz Orlen od 299.00 zł

DPD Kurier 12.99 zł Poczta Polska 18.99 zł Paczkomat 13.99 zł InPost 12.99 zł Punkt DPD 13.99 zł

Kontakt

Jak kupować

Pomoc

Moje konto

▸ Pusty :-(

Szanowni Klienci, z okazji święta państwowego w dniu dzisiejszym obsługa klienta będzie nieczynna. Na wszystkie wiadomości odpowiemy w najbliższym dniu roboczym. Dziękujemy za zrozumienie.

Darmowa dostawa dla zamówień powyżej 299,00 zł.

Model Checking, Synthesis, and Learning

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

Wang Yi

Bernhard Steffen

Język

Angielski

Książka Miękka

Kod Libristo: 38348905

Wydawnictwo Springer Nature Switzerland AG, listopad 2021

This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers w... Cały opis

Kod Libristo: 38348905

162 b

284.38 zł

Dostępna u dostawcy Wysyłamy za 5-8 dni

30 dni na zwrot towaru

Klienci kupili także

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

Miękka

177.47 zł

PORTFOLIO N°5

Twarda

131.09 zł

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

Miękka

40.95 zł

Der Leseprofi - Arbeitsheft / Klasse 5 Ulrike Stolz

Miękka

71.16 zł

romantische Geschichten erzählt von Rudi Friedrich Rudolf Friedrich

Miękka

80.60 zł

Irgendwann kommen sie und holen mich ab Armin Sengbusch

Miękka

31.21 zł

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

Miękka

76.08 zł

Královská hra 5 Hitori Renda

Miękka

31.71 zł

CANTI CARINTHIAE GUITARE GUENTHER MITTERGRADN Prasa

Nuty

76.38 zł

60 ans, un nouveau cap Grevedon

Miękka

87.43 zł

Lemurien Frank Joseph

Twarda

89.53 zł

Soubor značek a číslic

Karty

4.41 zł

Grosssteingraber und Feldsteinkirchen Olaf Jentzsch

Miękka

68.65 zł

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

Miękka

115.43 zł

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

Miękka

97.26 zł

Politische Korruption Walter Schmidt

Miękka

292.31 zł

Contes Choisis, Edition Revue Pour La Jeunesse KIPLING-R

Miękka

86.02 zł

LA GRAN DEPRESIÓN DEL SIGLO XX ROBBINS

Twarda

138.02 zł

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

Miękka

123.67 zł

Berlin oder Juste Milieu Carl Sternheim

Twarda

64.44 zł

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

Miękka

32.01 zł

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

Karta

71.66 zł

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.