Twoje ustawienia prywatności

Wybierając opcję „Akceptuję wszystko”, użytkownik zezwala firmie Rakuten Kobo i jej partnerom na używanie plików cookie, mechanizmów śledzących i podobnych technologii do zbierania danych osobowych użytkownika oraz ich przetwarzania w następujących celach: do obsługi witryny internetowej i usług Kobo oraz zapewniania ich prawidłowego działania, do dostarczania spersonalizowanych treści na Kobo i reklam dotyczących Kobo na innych platformach, a także do pomiaru danych analitycznych oraz analizowania sposobu korzystania z naszej witryny internetowej i usług. W przeciwnym razie użytkownik powinien kliknąć poniższą opcję „Rezygnuję”, aby odrzucić wszelkie cele inne niż niezbędne, lub przejrzeć „Ustawienia prywatności” w celu zarządzania swoimi preferencjami dotyczącymi każdego celu. Aby uzyskać więcej informacji, należy zapoznać się z naszą Polityka prywatności.

Wyświetl ustawienia prywatności
Przejdź do głównej treści
Lista życzeń
Koszyk
Utwórz konto
Masz już konto?Zaloguj się
Formal Methods – 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings e-book,

Formal Methods

24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Marieke Huisman,Corina Păsăreanu,Naijun Zhan
Springer Nature Proceedings Computer Science

Streszczenie

Kategorie

O tej książce

  • Język:English
  • ISBN:9783030908706
  • Data wydania:10 lis 2021
  • Wydawca:Springer International Publishing
  • Impressum:Springer
  • Format pliku:EPUB3
  • Rozmiar pliku:63.77 MB
  • Opcje pobierania:EPUB3 (Adobe DRM)

W tej serii

Pomiń tę listę

Formal Techniques for Distributed Objects, Components, and Systems

Marieke Huisman,António Ravara

Fundamental Approaches to Software Engineering

Marieke Huisman,Julia Rubin

Tests and Proofs

Marieke Huisman,Falk Howar