Dine fortrolighedsindstillinger

Ved at vælge "Accepter alle", giver du Rakuten Kobo og deres partnere tilladelse til at bruge cookies, sporing og lignende teknologier til at indsamle dine personlige data og behandle dem til følgende formål: at drive hjemmesiden og Kobos tjenester og sikre, at de fungerer korrekt, at levere personligt tilpasset indhold til dig på Kobo og annoncere for Kobo på andre platforme, og at måle analyser og analysere, hvordan vores hjemmeside og tjenester bliver brugt. Ellers skal du klikke på "Afvis" nedenfor for at afvise alle ikke-væsentlige formål eller se "Databeskyttelsesindstillinger" for at administrere dine præferencer for hvert formål. Læs vores Databeskyttelsespolitik.

Se privatlivsindstillingerSe privatlivsindstillinger

Formal Methods – 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings E-bog af

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

Synopsis

Kategorier

Om denne bog

Sprog:English
ISBN:9783030908706
Udgivelsesdato:10. nov. 2021
Udgiver:Springer International Publishing

Tryk:Springer
Filformat:EPUB3
Filstørrelse:63.77 MB
Downloadmuligheder:EPUB3 (Adobe DRM)

I denne serie

Formal Techniques for Distributed Objects, Components, and Systems – E-bog af Marieke Huisman,António Ravara

Formal Techniques for Distributed Objects, Components, and Systems

Marieke Huisman,António Ravara

Fundamental Approaches to Software Engineering – E-bog af Marieke Huisman,Julia Rubin

Fundamental Approaches to Software Engineering

Marieke Huisman,Julia Rubin

Tests and Proofs – E-bog af Marieke Huisman,Falk Howar

Tests and Proofs

Marieke Huisman,Falk Howar