Afbeelding 1 van 1
Formal Methods for Trustworthy Computer Systems (FM89) : Report from FM89: A<|
Objectstaat:
5 beschikbaar
Verzendkosten:
Verzendt mogelijk niet naar Verenigde Staten. Lees de objectbeschrijving of neem contact op met de verkoper voor verzendopties. Details bekijkenvoor verzending
Bevindt zich in: South East, Verenigd Koninkrijk
Levering:
Varieert
Retourbeleid:
30 dagen om te retourneren. Koper betaalt voor retourzending. Details bekijken- voor meer informatie over retourzendingen
Betalingen:
Winkel met vertrouwen
Verkopergegevens
- 99,1% positive feedback
Ingeschreven als zakelijke verkoper
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:296195337736
Specificaties
- Objectstaat
- PublishedOn
- 1990-11-19
- Title
- Formal Methods for Trustworthy Computer Systems (FM89) : Report
- ISBN
- 9783540196358
- Publication Year
- 1990
- Type
- Textbook
- Format
- Paperback
- Language
- English
- Publication Name
- Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23-27 July 1989, Halifax, Canada
- Item Height
- 244mm
- Publisher
- Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
- Item Width
- 170mm
- Subject
- Computer Science
- Item Weight
- 514g
- Number of Pages
- 248 Pages
Over dit product
Product Information
This volume contains the discussions, recommendations and conclusions resulting from a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, held in Halifax, Nova Scotia, Canada in July 1989. This workshop brought together representatives of research, commerce and government organizations from Canada, the USA and the UK. The main purpose of the workshop was to assess the role of formal methods in the development and fielding of trustworthy critical systems. The aims of the workshop were to assess the problems retarding the development of trustworthy critical systems, to determine the potential impact of applying formal methods techniques to the development of trustworthy critical systems, to determine the research required to facilitate a broader application of formal methods techniques, to identify example systems that would be useful in measuring the effectiveness of formal methods, and to identify how to improve international co-ordination and communication of formal methods research.
Product Identifiers
Publisher
Springer-Verlag Berlin AND Heidelberg Gmbh & Co. KG
ISBN-13
9783540196358
eBay Product ID (ePID)
87063500
Product Key Features
Publication Name
Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23-27 July 1989, Halifax, Canada
Format
Paperback
Language
English
Subject
Computer Science
Publication Year
1990
Type
Textbook
Number of Pages
248 Pages
Dimensions
Item Height
244mm
Item Width
170mm
Item Weight
514g
Additional Product Features
Series Title
Workshops in Computing
Editor
Dan Craigen
Country/Region of Manufacture
Germany
Objectbeschrijving van de verkoper
Informatie van zakelijke verkoper
WRAP Ltd.
Mubin Ahmed
Unit 4
119 Loverock Road
Reading
Berkshire
RG30 1DZ
United Kingdom
Btw-nummer:
- GB 724498118
Handelsregistratienummer:
- 03800600
Ik verklaar dat al mijn verkoopactiviteiten zullen voldoen aan alle wet- en regelgeving van de EU.
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:296195337736
Verzending en verwerking
De verkoper heeft geen verzendmethode opgegeven voor Verenigde Staten. Neem contact op met de verkoper en vraag om verzending naar uw locatie.
Objectlocatie:
South East, Verenigd Koninkrijk
Wordt verzonden naar:
Australië, Canada, Europese Unie, Japan, Verenigd Koninkrijk
Uitgesloten:
Afghanistan, Duitsland, Jemen, Libië, Nauru, Oekraïne, Oostenrijk, Russische Federatie, Somalië, Zwitserland
| Verwerkingstijd |
|---|
| Wordt doorgaans binnen 5 werkdagen na ontvangst van betaling verzonden. |
| Belasting |
|---|
| Er kunnen belastingen van toepassing zijn tijdens Betalen. Meer weten?Lees meer over het betalen van belastingen op eBay-aankopen. |
Btw voor objectnr.296195337736
Btw voor objectnr.296195337736
Verkoper berekent btw op objecten die naar de volgende staten worden verzonden:
| Staat/provincie | Btw-tarief |
|---|
Retourbeleid
| Nadat u het object hebt ontvangen, kunt u contact opnemen met de verkoper binnen | Kosten voor retourzending |
|---|---|
| 30 dagen | Koper betaalt voor retourzending |
De koper is verantwoordelijk voor de kosten van de retourzending.
| Details retourbeleid |
|---|
| Retourzendingen geaccepteerd |
Betalingsgegevens
Betalingsmethoden
Populaire rubrieken in deze winkel
Ingeschreven als zakelijke verkoper
Feedback verkoper (2.878.606)
-***1 (0)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
very good condition
4***4 (274)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Good book well packaged
n***e (1714)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Fast delivery. Excellent service.