Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings » książka

zaloguj się | załóż konto

topmenu

Szukaj

Książki na zamówienie

Wyszukiwanie zaawansowane

Pusty koszyk

Bezpłatna dostawa dla zamówień powyżej 20 zł

Kategorie główne

• Nauka

[2946600]

• Literatura piękna

[1856966]

więcej...

Kategorie szczegółowe BISAC

Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings

Name: Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings
Brand: Springer
Price: 221.90 PLN
Availability: InStock

ISBN-13: 9783031275333 / Angielski / Miękka / 2023 / 105 str.

Catherine DuBois; Pierluigi San Pietro

Formal Methods Teaching: 5th International Workshop, FMTea 2023, Lübeck, Germany, March 6, 2023, Proceedings

ISBN-13: 9783031275333 / Angielski / Miękka / 2023 / 105 str.

Catherine DuBois; Pierluigi San Pietro

cena 221,90 zł
(netto: 211,33 VAT: 5%)

Najniższa cena z 30 dni: 212,02 zł

Termin realizacji zamówienia:
ok. 22 dni roboczych
Bez gwarancji dostawy przed świętami

Darmowa dostawa!

This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023.The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning.

This book constitutes the proceedings of the 5th International Workshop on Formal Methods Teaching, FMTea 2023, which was held in Lübeck, Germany, in March 2023.

The 7 full papers presented in this volume were carefully reviewed and selected from 10 submissions. FMTea 2023 aim is to support a worldwide improvement in learning Formal Methods, mainly by teaching but also via self-learning.

Kategorie:

Nauka, Matematyka

Kategorie BISAC:

Mathematics > Logic
Computers > Artificial Intelligence - General
Computers > Speech & Audio Processing

Wydawca:

Springer

Seria wydawnicza:

Lecture Notes in Computer Science

Język:

Angielski

ISBN-13:

9783031275333

Rok wydania:

2023

Dostępne języki:

Ilość stron:

105

Waga:

0.19 kg

Wymiary:

23.5 x 15.5

Oprawa:

Miękka

Dodatkowe informacje:

Wydanie ilustrowane

Automated Exercise Generation for Satisfiability Checking.- Graphical Loop Invariant Based Programming.- A Gentle Introduction to Verification of Parameterized Reactive Systems.- Model Checking Concurrent Programs for Autograding in pseuCo Book.- Teaching TLA+ to Engineers at Microsoft.- Teaching and Training in Formalisation with B.- Teaching low-code Formal Methods with Coloured Petri Nets.

Krainaksiazek.pl w programie rzetelna firma

Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Zobacz:

1997-2025 DolnySlask.com Agencja Internetowa