A Journey from Process Algebra via Timed Automata to Model Learning - Jansen Nils

+ Dodaj do porównania Dodaj do listy zakupowej

Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday

This Festschrift, dedicated to Frits W. Vaandrager on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Frits has been a Professor of Informatics for Technical Applications at Radboud University Nijmegen since 1995, where his research focuses on formal methods, concurrency theory, verification, model checking, and automata learning.

The volume contains contributions of colleagues, Ph.D. students, and researchers with whom Frits has collaborated and inspired, reflecting a wide spectrum of scientific interests, and demonstrating successful work at the highest levels of both theory and practice.

EAN: 9783031156304

Marka

Symbol

012HKM03527KS

Rok wydania

Strony

Oprawa

Miekka

Format

15.6x23.4cm

Redakcja

Jansen Nils

Język

angielski

Bez ryzyka

14 dni na łatwy zwrot

Szeroki asortyment

ponad milion pozycji

Niskie ceny i rabaty

nawet do 50% każdego dnia

Rozmiar

160,77 zł

/ szt.

Najniższa cena z 30 dni przed obniżką: / szt.

Cena regularna: / szt.

Możesz kupić także poprzez:

Do darmowej dostawy brakuje69,00 zł

Najtańsza dostawa 0,00 złWięcej

14 dni na łatwy zwrot

Bezpieczne zakupy

Kup teraz i zapłać za 30 dni jeżeli nie zwrócisz

Kup teraz, zapłać później - 4 kroki

Przy wyborze formy płatności, wybierz PayPo.

PayPo opłaci twój rachunek w sklepie.
Na stronie PayPo sprawdź swoje dane i podaj pesel.

Po otrzymaniu zakupów decydujesz co ci pasuje, a co nie. Możesz zwrócić część albo całość zamówienia - wtedy zmniejszy się też kwota do zapłaty PayPo.

W ciągu 30 dni od zakupu płacisz PayPo za swoje zakupy bez żadnych dodatkowych kosztów. Jeśli chcesz, rozkładasz swoją płatność na raty.

Ten produkt nie jest dostępny w sklepie stacjonarnym

Marka

Springer Nature B.V.

Symbol

012HKM03527KS

Kod producenta

9783031156304