📦Darmowa dostawa od 69 zł - do Żabki oraz automatów i punktów DPD! Przy mniejszych zamówieniach zapłacisz jedynie 4,99 zł!🚚
Darmowa dostawa od 69,00 zł
Formal Methods - Oliveira Marcel Vinícius Medeiros

Formal Methods - Oliveira Marcel Vinícius Medeiros

  • Foundations and Applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers
This volume contains the papers presented at SBMF 2009: the Brazilian S- posium on Formal Methods, held during August 19-21, 2009 in Gramado, Rio Grande do Sul, Brazil. The SBMF programme included three invited talks given by Leonardo de Moura (Microsoft Research), Sebastian Uchitel (University of Buenos Aires and Imperial College London), and Daniel Kro ¨ning (University of Oxford). The symposium was accompanied by two short courses: - Introduction to Software Testing, given by Marci ´ o Eduardo Delamaro (U- versity of Sao ˜ Paulo) - Formal Models for Automatic Test Case Generation, given by Patr´ ?cia Machado and Wilkerson Andrade (Federal University of Campina Grande) This year, the SBMF symposium had a special section on the Grand Ch- lenge in Veri?ed Software, inspired by recent advances in theory and tool s- port. WorkonthegrandchallengestartedwiththecreationofaVeri?edSoftware Repository with two principal aims: - To collect a set of veri?ed software components - To conduct a series of industrial-scale veri?cation experiments with theor- ical signi?cance and impact on tool-support This special session on the grand challenge was dedicated to two pilot projects currently underway: - The Flash File Store. The challenge is to verify the correctness of a fau- tolerant,POSIX-compliant?lestoreimplemented on?ashmemory. Veri?- tion issues include dependability guarantees as well as software correctness. Levels of abstractioninclude requirements speci?cation, software design, - ecutable code, device drivers,and ?ash translationlayers. The challenge was inspired by the requirements for forthcoming NASA space missions. - FreeRTOS.

EAN: 9783642104510
Symbol
490HGF03527KS
Rok wydania
2009
Strony
364
Oprawa
Miekka
Format
15.6x23.4cm
Redakcja
Oliveira Marcel Vinícius Medeiros
Język
angielski
Więcej szczegółów
Bez ryzyka
14 dni na łatwy zwrot
Szeroki asortyment
ponad milion pozycji
Niskie ceny i rabaty
nawet do 50% każdego dnia
226,56 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
Ten produkt nie jest dostępny w sklepie stacjonarnym
Symbol
490HGF03527KS
Kod producenta
9783642104510
Rok wydania
2009
Strony
364
Oprawa
Miekka
Format
15.6x23.4cm
Redakcja
Oliveira Marcel Vinícius Medeiros
Język
angielski
This volume contains the papers presented at SBMF 2009: the Brazilian S- posium on Formal Methods, held during August 19-21, 2009 in Gramado, Rio Grande do Sul, Brazil. The SBMF programme included three invited talks given by Leonardo de Moura (Microsoft Research), Sebastian Uchitel (University of Buenos Aires and Imperial College London), and Daniel Kro ¨ning (University of Oxford). The symposium was accompanied by two short courses: - Introduction to Software Testing, given by Marci ´ o Eduardo Delamaro (U- versity of Sao ˜ Paulo) - Formal Models for Automatic Test Case Generation, given by Patr´ ?cia Machado and Wilkerson Andrade (Federal University of Campina Grande) This year, the SBMF symposium had a special section on the Grand Ch- lenge in Veri?ed Software, inspired by recent advances in theory and tool s- port. WorkonthegrandchallengestartedwiththecreationofaVeri?edSoftware Repository with two principal aims: - To collect a set of veri?ed software components - To conduct a series of industrial-scale veri?cation experiments with theor- ical signi?cance and impact on tool-support This special session on the grand challenge was dedicated to two pilot projects currently underway: - The Flash File Store. The challenge is to verify the correctness of a fau- tolerant,POSIX-compliant?lestoreimplemented on?ashmemory. Veri?- tion issues include dependability guarantees as well as software correctness. Levels of abstractioninclude requirements speci?cation, software design, - ecutable code, device drivers,and ?ash translationlayers. The challenge was inspired by the requirements for forthcoming NASA space missions. - FreeRTOS.

EAN: 9783642104510
Potrzebujesz pomocy? Masz pytania?Zadaj pytanie a my odpowiemy niezwłocznie, najciekawsze pytania i odpowiedzi publikując dla innych.
Zapytaj o produkt
Jeżeli powyższy opis jest dla Ciebie niewystarczający, prześlij nam swoje pytanie odnośnie tego produktu. Postaramy się odpowiedzieć tak szybko jak tylko będzie to możliwe. Dane są przetwarzane zgodnie z polityką prywatności. Przesyłając je, akceptujesz jej postanowienia.
Napisz swoją opinię
Twoja ocena:
5/5
Dodaj własne zdjęcie produktu:
Prawdziwe opinie klientów
4.8 / 5.0 13793 opinii
pixel