Spedizione gratuita per ordini superiori a 69,99 euro.

Controllare lo stato dell'ordine

Entra a far parte di una comunità di amanti dei libri di tutto il mondo e ottieni numerosi vantaggi. Crea un account gratuito

Spedizione gratuita con Packeta per un prezzo superiore a 69.99 €

Bartolini 4.49 € Punto Poste 5.49 € Punto Poste 5.49 € Punto Bartolini 3.49 € DHL 6.99 € GLS 7.99 €

Contatto

Come acquistare

Aiuto

Il mio account

▸ Vuoto :-(

Spedizione gratuita per ordini superiori a 69,99 euro.

Model Checking, Synthesis, and Learning

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

Wang Yi

Bernhard Steffen

Lingua

Inglese

Libro In brossura

Codice Libristo: 38348905

Casa editrice Springer Nature Switzerland AG, novembre 2021

This Festschrift, dedicated to Bengt Jonsson on the occasion of his 60th birthday, contains papers w... Descrizione completa

Codice Libristo: 38348905

171 b

69.89 €

Magazzino esterno Inviamo tra 5-8 giorni

30 giorni per il reso

I clienti hanno acquistato anche

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

In brossura

43.79 €

Lectures A l'Academie Ernest Legouv

In brossura

29.19 €

PORTFOLIO N°5

Rigido

31.89 €

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

In brossura

10.09 €

Der Leseprofi - Arbeitsheft / Klasse 5 Ulrike Stolz

In brossura

17.69 €

romantische Geschichten erzählt von Rudi Friedrich Rudolf Friedrich

In brossura

19.79 €

Irgendwann kommen sie und holen mich ab Armin Sengbusch

In brossura

7.69 €

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

In brossura

18.79 €

Královská hra 5 Hitori Renda

In brossura

7.79 €

CANTI CARINTHIAE GUITARE GUENTHER MITTERGRADN Pubblicazioni cartacee

Note

18.59 €

60 ans, un nouveau cap Grevedon

In brossura

21.29 €

Lemurien Frank Joseph

Rigido

22.19 €

Soubor značek a číslic

Carte

1.09 €

Grosssteingraber und Feldsteinkirchen Olaf Jentzsch

In brossura

16.89 €

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

In brossura

28.19 €

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

In brossura

23.79 €

Contes Choisis, Edition Revue Pour La Jeunesse KIPLING-R

In brossura

20.99 €

LA GRAN DEPRESIÓN DEL SIGLO XX ROBBINS

Rigido

32.19 €

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

In brossura

30.19 €

Berlin oder Juste Milieu Carl Sternheim

Rigido

15.89 €

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

In brossura

7.89 €

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

Foglio

17.69 €

Politische Korruption Walter Schmidt

In brossura

71.69 €

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.