Terug naar de homepage
|
Toevoegen aan Volglijst
Verzending en leveringKlik op Zie details voor aanvullende informatie over verzending en retourzendingen.

Afbeelding 1 van 1

NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, US<| - Afbeelding 1 van 1
Hebt u iets om te verkopen?
Verkoop het zelf

NASA Formal Methods : 11th International Symposium, NFM 2019, Houston, TX, US<|

baham_books
  • (2337540)
  • Ingeschreven als zakelijke verkoper
GBP 84,72
OngeveerEUR 100,97
Objectstaat:
Nieuw
5 beschikbaar
Verzendkosten:
Verzendt mogelijk niet naar Verenigde Staten. Lees de objectbeschrijving of neem contact op met de verkoper voor verzendopties.
Bevindt zich in: South East, Verenigd Koninkrijk
Levering:
Varieert
Retourbeleid:
30 dagen om te retourneren. Koper betaalt voor retourzending.
Betalingen:
    

Winkel met vertrouwen

Geld-terug-garantie van eBay
Ontvang het object dat u hebt besteld of krijg uw geld terug. Meer informatieGeld-terug-garantie van eBay - nieuw venster of tabblad
Dit object rapporteren - nieuw venster of nieuw tabblad
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:296193551183

Specificaties

Objectstaat
Nieuw: Een nieuw, ongelezen en ongebruikt boek in perfecte staat waarin geen bladzijden ontbreken of ...
PublishedOn
2019-05-28
Title
NASA Formal Methods : 11th International Symposium, NFM 2019, Ho
ISBN
9783030206512
Publication Name
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings
Publisher
Springer Nature Switzerland A&G
Subject
Computer Science
Series
Lecture Notes in Computer Science
Publication Year
2019
Type
Textbook
Format
Paperback
Language
English
Item Height
235 mm
Author
Julia M. Badger, Kristin Yvonne Rozier
Item Width
155 mm
Item Weight
635 g
Number of Pages
392 Pages

Over dit product

Product Information

This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full and 8 short papers presented in this volume were carefully reviewed and selected from 102 submissions. The papers focus on formal verification, including theorem proving, model checking, and static analysis; advances in automated theorem proving including SAT and SMT solving; use of formal methods in software and system testing; run-time verification; techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and/or distributed techniques; code generation from formally verified models; safety cases and system safety; formal approaches to fault tolerance; theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems; formal methods in systems engineering and model-based development; correct-by-design controller synthesis; formal assurance methods to handle adaptive systems.

Product Identifiers

Publisher
Springer Nature Switzerland A&G
ISBN-13
9783030206512
eBay Product ID (ePID)
16046536459

Product Key Features

Series
Lecture Notes in Computer Science
Author
Julia M. Badger, Kristin Yvonne Rozier
Publication Name
NASA Formal Methods: 11th International Symposium, NFM 2019, Houston, TX, USA, May 7-9, 2019, Proceedings
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
2019
Type
Textbook
Number of Pages
392 Pages

Dimensions

Item Height
235 mm
Item Width
155 mm
Item Weight
635 g
Volume
11460

Additional Product Features

Country/Region of Manufacture
Switzerland
Editor
Kristin Yvonne Rozier, Julia M. Badger

Objectbeschrijving van de verkoper

Informatie van zakelijke verkoper

WRAP Ltd.
Mubin Ahmed
Unit 4
119 Loverock Road
Reading
Berkshire
RG30 1DZ
United Kingdom
Contactgegevens weergeven
:noofeleT60358080080
:liam-Emoc.aidemtumahab@yabe
Btw-nummer:
  • GB 724498118
Handelsregistratienummer:
  • 03800600
Ik verklaar dat al mijn verkoopactiviteiten zullen voldoen aan alle wet- en regelgeving van de EU.
KVK-nummer:
  • 03800600
baham_books

baham_books

99,2% positieve feedback
9,4M objecten verkocht
Winkel bezoekenNeem contact met ons op
Lid geworden op aug 2011

Gedetailleerde verkopersbeoordelingen

Gemiddelde van de afgelopen 12 maanden
Nauwkeurige beschrijving
4.9
Redelijke verzendkosten
5.0
Verzendtijd
5.0
Communicatie
4.9

Populaire rubrieken in deze winkel

Alles bekijkenrubrieken
Digital - Action & AdventureDigital - AnimeDigital - ChildrensDigital - ClassicsDigital - ComedyDigital - DramaDigital - FitnessDigital - MusicDigital - Television
Ingeschreven als zakelijke verkoper

Feedback verkoper (3.047.786)

Alle feedback weergeven