Dieser Artikel ist nicht vorrätig.

Bild 1 von 1

Fortgeschrittene Vorlesungen über Software-Engineering: LASER Summer School 2007/2008 von Pete-

Artikelzustand:

Neu

Preis:

US $62,94

Ca.EUR 57,90

Auf die Beobachtungsliste

Versand:

Kostenlos Economy Shipping. Weitere Detailsfür Versand

Standort: Fairfield, Ohio, USA

Lieferung:

Lieferung zwischen Sa, 8. Jun und Do, 20. Jun nach 43230 bei heutigem Zahlungseingang

Rücknahmen:

30 Tage Rückgabe. Käufer zahlt Rückversand. Weitere Details- Informationen zu Rückgaben

Zahlungen:

Sicher einkaufen

eBay-Käuferschutz

Geld zurück, wenn etwas mit diesem Artikel nicht stimmt.

Mehr erfahreneBay-Käuferschutz - wird in neuem Fenster oder Tab geöffnet

Angaben zum Verkäufer

grandeagleretail (920556)
98,3% positive Bewertungen

Angemeldet als gewerblicher Verkäufer

Artikel melden - wird in neuem Fenster oder Tab geöffnet

Der Verkäufer ist für dieses Angebot verantwortlich.

eBay-Artikelnr.:386868755229

Zuletzt aktualisiert am 20. Mai. 2024 06:40:00 MESZAlle Änderungen ansehenAlle Änderungen ansehen

Artikelmerkmale

Artikelzustand: Neu: Neues, ungelesenes, ungebrauchtes Buch in makellosem Zustand ohne fehlende oder beschädigte ...

ISBN-13: 9783642130090

Book Title: Advanced Lectures on Software Engineering

ISBN: 9783642130090

Publication Year: 2010

Series: Lecture Notes in Computer Science Ser.

Type: Textbook

Format: Trade Paperback

Language: English

Publication Name: Advanced Lectures on Software Engineering : Laser Summer School 2007/2008

Author: Peter Müller

Publisher: Springer Berlin / Heidelberg

Item Weight: 11 Oz

Number of Pages: VII, 189 Pages

Über dieses Produkt

Product Information

Software defects lead to enormous costs for the software industry and society as a whole. While testing is useful to find bugs, it is insufficient to show the absence of certain kinds of errors or that a program satisfies its specification. Such high levels of software quality can be achieved by software verification, that is, by proving the correctness of a program with respect to its specification. Software verification has seen tremendous progress during the last decade; it continues to be an active research topic and is now also becoming increasingly popular among practitioners.This tutorial contains selected papers from the LASER summer Schools 2007 and 2008, both of which focused on correctness - Applied Software Verification in 2007 and Concurrency and Correctness in 2008. Topics covered include verification of fine-grain concurrency and transactions, the SCOOP model for concurrent object-oriented programming, the Spec# programming and verification system, verification in the prototype verification system PVS, and multi-core chip design.

Product Identifiers

Publisher

Springer Berlin / Heidelberg

ISBN-10

3642130097

ISBN-13

9783642130090

eBay Product ID (ePID)

92339566

Product Key Features

Author

Peter Müller

Publication Name

Advanced Lectures on Software Engineering : Laser Summer School 2007/2008

Format

Trade Paperback

Language

English

Publication Year

2010

Series

Lecture Notes in Computer Science Ser.

Type

Textbook

Number of Pages

VII, 189 Pages

Dimensions

Item Weight

11 Oz

Additional Product Features

Series Volume Number

6029

Number of Volumes

1 Vol.

Lc Classification Number

Qa76.758

Table of Content

Fine-Grain Concurrency.- Compensable Transactions.- SCOOP - A Contract-Based Concurrent Object-Oriented Programming Model.- Using the Spec# Language, Methodology, and Tools to Write Bug-Free Programs.- Fixpoints and Search in PVS.- Multi Core Design for Chip Level Multiprocessing.

2010

Topic

Software Development & Engineering / General, Networking / General, Compilers

Intended Audience

Scholarly & Professional

Illustrated

Yes

Genre

Computers

Artikelbeschreibung des Verkäufers

Rechtliche Informationen des Verkäufers

Premier Books LLC

David Taylor

26C Trolley Sq

19806-3356 Wilmington, DE

United States

Kontaktinformationen anzeigen

:liaM-Emoc.liaterelgaednarg@yabe

Ich versichere, dass alle meine Verkaufsaktivitäten in Übereinstimmung mit allen geltenden Gesetzen und Vorschriften der EU erfolgen.

Der Verkäufer ist für dieses Angebot verantwortlich.

eBay-Artikelnr.:386868755229

Zuletzt aktualisiert am 20. Mai. 2024 06:40:00 MESZAlle Änderungen ansehenAlle Änderungen ansehen

Verpackung und Versand

Artikelstandort:

Fairfield, Ohio, USA

Versand nach:

Afghanistan, Albanien, Algerien, Andorra, Angola, Anguilla, Antigua und Barbuda, Argentinien, Armenien, Aruba, Aserbaidschan, Australien, Bahamas, Bahrain, Bangladesch, Belgien, Belize, Benin, Bermuda, Bhutan, Bolivien, Bosnien und Herzegowina, Botsuana, Brasilien, Britische Jungferninseln, Brunei Darussalam, Bulgarien, Burkina Faso, Burundi, Chile, China, Cookinseln, Costa Rica, Côte d'Ivoire (Elfenbeinküste), Demokratische Republik Kongo, Deutschland, Dominica, Dominikanische Republik, Dschibuti, Dänemark, Ecuador, El Salvador, Eritrea, Estland, Falklandinseln (Malwinen), Fidschi, Finnland, Frankreich, Gabun, Gambia, Georgien, Ghana, Gibraltar, Grenada, Griechenland, Grönland, Guatemala, Guernsey, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Hongkong, Indien, Indonesien, Irak, Irland, Island, Israel, Italien, Jamaika, Japan, Jemen, Jersey, Jordanien, Kaimaninseln, Kambodscha, Kamerun, Kanada, Kapverdische Inseln, Kasachstan, Katar, Kenia, Kirgisistan, Kiribati, Kolumbien, Komoren, Kuwait, Laos, Lesotho, Lettland, Libanon, Liberia, Liechtenstein, Litauen, Luxemburg, Macau, Madagaskar, Malawi, Malaysia, Malediven, Mali, Malta, Marokko, Mauretanien, Mauritius, Mayotte, Mazedonien, Mexiko, Moldawien, Monaco, Mongolei, Montenegro, Montserrat, Mosambik, Namibia, Nauru, Nepal, Neuseeland, Nicaragua, Niederlande, Niederländische Antillen, Niger, Nigeria, Niue, Norwegen, Oman, Pakistan, Paraguay, Peru, Philippinen, Polen, Portugal, Republik Kongo, Republik Kroatien, Ruanda, Rumänien, Saint-Pierre und Miquelon, Salomonen, Sambia, San Marino, Saudi-Arabien, Schweden, Schweiz, Senegal, Serbien, Seychellen, Sierra Leone, Simbabwe, Singapur, Slowakei, Slowenien, Somalia, Spanien, Sri Lanka, St. Helena, St. Kitts und Nevis, St. Lucia, St. Vincent und die Grenadinen, Suriname, Svalbard und Jan Mayen, Swasiland, Südafrika, Südkorea, Tadschikistan, Taiwan, Tansania, Thailand, Togo, Tonga, Trinidad und Tobago, Tschad, Tschechische Republik, Tunesien, Turkmenistan, Turks- und Caicosinseln, Tuvalu, Türkei, Uganda, Ungarn, Uruguay, Usbekistan, Vanuatu, Vatikan, Vereinigte Arabische Emirate, Vereinigtes Königreich, Vietnam, Wallis und Futuna, Weltweit, Westsahara, Zentralafrikanische Republik, Zypern, Ägypten, Äquatorialguinea, Äthiopien, Österreich

Ausgeschlossen:

APO/FPO, Alaska/Hawaii, Barbados, Belarus, Französisch-Guayana, Französisch-Polynesien, Guadeloupe, Libyen, Martinique, Neukaledonien, Panama, Papua-Neuguinea, Russische Föderation, Réunion, Samoa (Westsamoa), US-Protektorate, Ukraine, Venezuela

Land ändern:

PLZ:

Verpackung und Versand	Nach	Service	Lieferung*Siehe Lieferhinweise
Kostenloser Versand	USA	Economy Shipping	Lieferung zwischen Sa, 8. Jun und Do, 20. Jun nach 43230

*Angaben zur Lieferung - wird in neuem Fenster oder Tab geöffnet werden ermittelt unter Berücksichtigung der Bearbeitungszeit des Verkäufers, der Postleitzahlen des Artikelstandorts und des Zielorts und des Zeitpunkts der Bestellannahme. Außerdem sind sie abhängig vom gewählten Versandservice und von der Bestätigung des Zahlungseingangs. Insbesondere während saisonaler Spitzenzeiten können die Lieferzeiten abweichen.Lieferhinweise *Angaben zur Lieferung werden ermittelt unter Berücksichtigung der Bearbeitungszeit des Verkäufers, der Postleitzahlen des Artikelstandorts und des Zielorts und des Zeitpunkts der Bestellannahme. Außerdem sind sie abhängig vom gewählten Versandservice und von der Bestätigung des Zahlungseingangs. Insbesondere während saisonaler Spitzenzeiten können die Lieferzeiten abweichen.

Bearbeitungszeit

Der Verkäufer verschickt den Artikel innerhalb von 3 Werktagen nach Zahlungseingang.

Steuern

An der Kasse fallen ggf. Steuern an. Mehr erfahrenMehr erfahren zu Steuern auf eBay-Käufe.

Mehrwertsteuer für diesen Artikel #386868755229

Der Verkäufer berechnet Mehrwertsteuer für Artikel, die in die folgenden Bundesstaaten verschickt werden:

Bundesstaat	Steuersatz für Sales Tax

* Steuern für die Zwischensumme + Verpackung und Versand werden nur für diese Bundesstaaten berechnet

Rücknahmebedingungen

Frist	Rückerstattung erfolgt in folgender Form:	Rücksendung
30 Tage	Geld zurück	Käufer zahlt Rückversand

Der Käufer trägt die Rücksendekosten.

Rücknahmebedingungen im Detail
Rücknahme akzeptiert

Zahlungsdaten

Zahlungsmethoden

Hinweis: Bestimmte Zahlungsmethoden werden in der Kaufabwicklung nur bei hinreichender Bonität des Käufers angeboten.

grandeagleretail

98,3% positive Bewertungen

2,7 Mio. Artikel verkauft

Shop besuchen Kontakt

Mitglied seit Sep 2010

Antwortet meist innerhalb 24 Stunden

Detaillierte Verkäuferbewertungen

Durchschnitt in den letzten 12 Monaten

Genaue Beschreibung

4.9

Angemessene Versandkosten

5.0

Lieferzeit

4.9

Kommunikation

4.9

Beliebte Kategorien in diesem Shop

Alle ansehenKategorien

The ArtsBiography & True StoriesChildren's & Young AdultComputing & ITEarth Sciences & GeographyFinance, Econ, Business & MgtFictionHealth & Personal DevelopmentHumanities

Angemeldet als gewerblicher Verkäufer

Verkäuferbewertungen (1.024.318)

n***t (449)- Bewertung vom Käufer.

Letzter Monat

Bestätigter Kauf

Arrived in good condition as described. The seller also communicated transport delays quickly and I appreciate that. I'm sure I will buy from you again!

Afrikaans-English, English-Afrikaans Dictionary: With Over 28,000 Entries by Ale (Nr. 395377783166)

t***a (260)- Bewertung vom Käufer.

Letzter Monat

Bestätigter Kauf

Item exactly as described,excellent packaging for shipping, prompt mailing, great seller 👍

Landy's Dodges: The Mighty Mopars of "Dandy" Dick Landy by Stunkard Geoff Paperb (Nr. 386858850242)

r***r (3864)- Bewertung vom Käufer.

Letzter Monat

Bestätigter Kauf

Perfect, thanks.

The Marx Brothers Miscellany - A Subjective Appreciation of the World's Greatest (Nr. 364862445101)

Alle Bewertungen ansehen

Produktbewertungen & Rezensionen

Mehr erfahren

Rezension schreiben

Noch keine Bewertungen oder Rezensionen

Schreiben Sie die erste Rezension.

Stöbern in Kategorien

Bild 1 von 1

Fortgeschrittene Vorlesungen über Software-Engineering: LASER Summer School 2007/2008 von Pete-

Sicher einkaufen

Angaben zum Verkäufer

Artikelmerkmale

Über dieses Produkt

Product Information

Product Identifiers

Product Key Features

Dimensions

Additional Product Features

Artikelbeschreibung des Verkäufers

Rechtliche Informationen des Verkäufers

Verpackung und Versand

Rücknahmebedingungen

Zahlungsdaten

grandeagleretail

Detaillierte Verkäuferbewertungen

Durchschnitt in den letzten 12 Monaten

Beliebte Kategorien in diesem Shop

Verkäuferbewertungen (1.024.318)

Produktbewertungen & Rezensionen

Noch mehr entdecken: