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

Afbeelding 1 van 1

Afbeelding 1 van 1
Hebt u iets om te verkopen?
Verkoop het zelf

NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field, CA, U

grandeagleretail
  • (927786)
  • Ingeschreven als zakelijke verkoper
US $66,18
OngeveerEUR 59,39
Objectstaat:
Nieuw
3 beschikbaar
Verzendkosten:
Gratis Economy Shipping.
Bevindt zich in: Fairfield, Ohio, Verenigde Staten
Levering:
Geschatte levering tussen ma, 7 okt en za, 12 okt tot 43230
Bij geschatte leveringsdatums - nieuw venster of tabblad wordt rekening gehouden met de verwerkingstijd van de verkoper, de postcode van de verzendlocatie, de postcode van de bestemming, en het moment van aanvaarding. Geschatte leveringsdatums zijn ook afhankelijk van de geselecteerde verzendservice en de ontvangst van de betalingbetaling ontvangen - nieuw venster of tabblad. De leveringstermijnen kunnen variëren, vooral gedurende piekperiodes.
Retourbeleid:
30 dagen om te retourneren. Koper betaalt voor retourzending.
Betalingen:
    

Winkel met vertrouwen

Topverkoper
Betrouwbare verkoper, snelle verzending en eenvoudige retourzending. Meer weten?- Topverkoper Plus: nieuw venster of tabblad
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:395144505905
Laatst bijgewerkt op 22 sep 2024 19:51:43 CESTAlle herzieningen bekijkenAlle herzieningen bekijken

Specificaties

Objectstaat
Nieuw: Een nieuw, ongelezen en ongebruikt boek in perfecte staat waarin geen bladzijden ontbreken of ...
ISBN-13
9783642380877
Book Title
NASA Formal Methods
ISBN
9783642380877
Subject Area
Computers, Technology & Engineering, Science
Publication Name
NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Publisher
Springer Berlin / Heidelberg
Item Length
9.3 in
Subject
Automation, Software Development & Engineering / General, Operating Systems / General, System Theory, Software Development & Engineering / Systems Analysis & Design, Compilers
Publication Year
2013
Series
Lecture Notes in Computer Science Ser.
Type
Textbook
Format
Trade Paperback
Language
English
Item Height
0.4 in
Author
Neha Rungta
Item Weight
27.4 Oz
Item Width
6.1 in
Number of Pages
Xxiv, 486 Pages

Over dit product

Product Identifiers

Publisher
Springer Berlin / Heidelberg
ISBN-10
3642380875
ISBN-13
9783642380877
eBay Product ID (ePID)
159816853

Product Key Features

Number of Pages
Xxiv, 486 Pages
Publication Name
NASA Formal Methods : 5th International Symposium, NFM 2013, Moffett Field, CA, USA, May 14-16, 2013. Proceedings
Language
English
Publication Year
2013
Subject
Automation, Software Development & Engineering / General, Operating Systems / General, System Theory, Software Development & Engineering / Systems Analysis & Design, Compilers
Type
Textbook
Author
Neha Rungta
Subject Area
Computers, Technology & Engineering, Science
Series
Lecture Notes in Computer Science Ser.
Format
Trade Paperback

Dimensions

Item Height
0.4 in
Item Weight
27.4 Oz
Item Length
9.3 in
Item Width
6.1 in

Additional Product Features

Intended Audience
Scholarly & Professional
LCCN
2013-936402
Dewey Edition
23
Series Volume Number
7871
Number of Volumes
1 vol.
Illustrated
Yes
Dewey Decimal
004.0151
Table Of Content
Model checking.- Applications of formal methods.- Complex systems.- Static analysis.- Symbolic execution.- Requirements and specifications.- Probabilistic and statistical analysis.- Theorem proving.
Synopsis
This book constitutes the refereed proceedings of the 5th International Symposium on NASA Formal Methods, NFM 2013, held in Moffett Field, CA, USA, in May 2013. The 28 revised regular papers presented together with 9 short papers talks were carefully reviewed and selected from 99 submissions. The topics are organized in topical sections on model checking; applications of formal methods; complex systems; static analysis; symbolic execution; requirements and specifications; probabilistic and statistical analysis; and theorem proving., Model checking.- Applications of formal methods.- Complex systems.- Static analysis.- Symbolic execution.- Requirements and specifications.- Probabilistic and statistical analysis.- Theorem proving.
LC Classification Number
QA76.758

Objectbeschrijving van de verkoper

Informatie van zakelijke verkoper

Premier Books LLC
David Taylor
26C Trolley Sq
19806-3356 Wilmington, DE
United States
Contactgegevens weergeven
:liam-Emoc.liaterelgaednarg@yabe
Ik verklaar dat al mijn verkoopactiviteiten zullen voldoen aan alle wet- en regelgeving van de EU.
grandeagleretail

grandeagleretail

98,3% positieve feedback
2,7M objecten verkocht
Winkel bezoekenNeem contact met ons op
Lid geworden op sep 2010
Reageert meestal binnen 24 uur
Grand Eagle Retail is your online bookstore. We offer Great books, Great prices and Great service.

Gedetailleerde verkopersbeoordelingen

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

Populaire rubrieken in deze winkel

Alles bekijkenrubrieken
The ArtsBiography & True StoriesChildren's & Young AdultComputing & ITEarth Sciences & GeographyFinance, Econ, Business & MgtFictionHealth & Personal DevelopmentHumanities
Ingeschreven als zakelijke verkoper

Feedback verkoper (1.032.684)

Alle feedback weergeven