Del 10623 i serien Lecture Notes in Computer Science

Formal Methods: Foundations and Applications

20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 — December 1, 2017, Proceedings

Häftad, Engelska, 2017

949 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

This book constitutes the refereed proceedings of the 20th Brazilian Symposium on Formal Methods, SBMF 2017, which took place in Recifel, Brazil, in November/December 2017.The 16 papers presented together with three invited talks were carefully reviewed and selected from 37 submissions. They are organized in the following topical sections: formal methods integration and experience reports; model checking; refinement and verification; and semantics and languages.The chapter 'Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems' is published open access under a CC BY 4.0 license.

Produktinformation

Utgivningsdatum2017-11-12
Mått155 x 235 x 19 mm
Vikt476 g
FormatHäftad
SpråkEngelska
SerieLecture Notes in Computer Science
Antal sidor305
FörlagSpringer International Publishing AG
ISBN9783319708478

Tillhör följande kategorier

Systemvetenskap och AI inom Data och IT
Programvaruutveckling inom Data och IT

Du kanske också är intresserad av

Fundamental Approaches to Software Engineering

José Fiadeiro, Paola Inverardi

Häftad, 2008

739 kr

Akademiskt läsande och skrivande

Vendela Blomström, Jeanna Wennerberg

Häftad, 2026

469 kr

Nyhet

Threshing Day - (ej bok fyra i Empyréan-serien)

Rebecca Yarros

Häftad, 2026

299 kr

3 för 2 Frixion

Kulspetspenna Frixion Ball Clicker 0.7 svart, raderbar

Pilot

55 kr

Omvårdnadens grunder - paket

Sofia Almerud, Annica Backman, Anna-Karin Edberg, Anna Ehrenberg, My Engström, Katarina Göransson, Lena Marmstål Hammar, Stefan Nilsson, Lars Wallin, Helle Wijk, Joakim Öhlén, Lilas Ali, Anette Alvariza, Ann-Christine Andersson, Pia Andersson, Anna Anåker, Charlotta van Eggermont Arwidson, Margareta Asp, Åsa Audulv, Malin Axelsson, Mariette Bengtsson, Eva Benzein, Lena Berg, Monica Bergqvist, Eva-Karin Bergström, Ida Björkman, Catrin Björvell, Angela Bång, Carina Bååth, Josefin Bäckström, Karin Bölenius, David Edvardsson, Rakel Eklund, Inger Ekman, Mirjam Ekstedt, Ann Catrine Eldh, Karin Enskär, Sofia Erestam, Anneli Eriksson, Henrik Eriksson, Marie Ernsth Bravell, Jan Florin, Anna Forsberg, Henrietta Forsman, Anette Forss, Mio Fredriksson, Febe Friberg, Maria Grandahl, Tanja Gustafsson, Agneta Gånemo, Elizabeth Hanson, Malin Hansson, Amanda Hellström, Ingela Henoch, Inger Jansson, Maria Jirwe, Lena Johansson, Pauline Johansson, Unn-Britt Johansson, Birgitta Kerstis, Ann-Sofie Källberg, Ulrika Källman, Anita Kärner Köhler, Cecilia Larsdotter, Margret Lepp, Maria Lindström Nilsson, Mikael Lundmark, Anneli Löf, Lennart Magnusson, Catharina Melander, Jenny Milton, Beata Molin, Annika Nordin, Maria Norinder, Sepideh Olausson, Carina Persson, Kerstin Prignitz Sluys, Josefin Rahmqvist, Birgit Holritz Rasmussen, Anneli Ringblom, Karin C. Ringsberg, Ann Rudman, Ann-Marie Rydholm Hedman, Silje Rysst, Lars Sandman, Regina Santamäki Fischer, Britt-Inger Saveman, Johanna Sjömar, Karin Stenzelius, Anna Strömberg, Annelie J. Sundler, Märtha Sund Levander, Kristina Svantesson, Anna Swall, Susanne Syrén, Pia Tingström, Johanna Ulfvarson, Sara Wallström, Albert Westergren, Lena Wiklund Gustin, Ulrika Winblad