Recent Trends In Algebraic Development Techniques: 15th International Workshop,

kobaryo-g0
(9)
Angemeldet als privater Verkäufer
Verbraucherschützende Vorschriften, die sich aus dem EU-Verbraucherrecht ergeben, finden daher keine Anwendung. Der eBay-Käuferschutz gilt dennoch für die meisten Käufe.
Mehr Artikel des Verkäufers
Verkäufer kontaktieren
US $133,63
Ca.CHF 106,10
Artikelzustand:
Neu
Ganz entspannt. Rückgaben akzeptiert.
Versand:
US $71,80 (ca. CHF 57,01) Standard Shipping from outside US.
Standort: Fukui, Japan
Bei diesem Artikel sind die anfallenden Einfuhrgebühren schon inbegriffen - nach der Bezahlung entstehen Ihnen keine weiteren Kosten.
Einfuhrgebühren:
Inklusive Einfuhrgebühren
Lieferung:
Lieferung zwischen Mi, 3. Dez und Mo, 8. Dez nach 94104 bei heutigem Zahlungseingang
Liefertermine - wird in neuem Fenster oder Tab geöffnet berücksichtigen die Bearbeitungszeit des Verkäufers, die PLZ des Artikelstandorts und des Zielorts sowie den Annahmezeitpunkt und sind abhängig vom gewählten Versandservice und dem ZahlungseingangZahlungseingang - wird ein neuem Fenster oder Tab geöffnet. Insbesondere während saisonaler Spitzenzeiten können die Lieferzeiten abweichen.
Rücknahme:
60 Tage Rückgabe. Käufer zahlt Rückversand. Wenn Sie ein eBay-Versandetikett verwenden, werden die Kosten dafür von Ihrer Rückerstattung abgezogen.
Zahlungen:
     Diners Club

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
Der Verkäufer ist für dieses Angebot verantwortlich.
eBay-Artikelnr.:146966831112

Artikelmerkmale

Artikelzustand
Neu: Neues, ungelesenes, ungebrauchtes Buch in makellosem Zustand ohne fehlende oder beschädigte ...
subject_code
UYF
gpsr_safety_attestation
true
target_audience
College/University
is_adult_product
false
edition_number
1
binding
paperback
edition
2002
series_number
2267
MPN
1
batteries_required
false
manufacturer
Springer
volume
2267
Brand
Springer
series_title
Lecture Notes in Computer Science, 2267
number_of_items
1
pages
360
genre
Software Engineering
part_number
1
publication_date
2002-03-22T00:00:01Z
unspsc_code
55101500
ISBN
9783540431596
Kategorie

Über dieses Produkt

Product Identifiers

Publisher
Springer Berlin / Heidelberg
ISBN-10
3540431594
ISBN-13
9783540431596
eBay Product ID (ePID)
2218123

Product Key Features

Number of Pages
X, 348 Pages
Language
English
Publication Name
Recent Trends in Algebraic Development Techniques : 15th International Workshop, WADT 2001, Joint with the CoFI WG Meeting, Genova, Italy, April 1-3, 2001. Selected Papers
Subject
Software Development & Engineering / General, Computer Science, Algebra / General, Discrete Mathematics
Publication Year
2002
Type
Textbook
Author
Gianna Reggio
Subject Area
Mathematics, Computers
Series
Lecture Notes in Computer Science Ser.
Format
Trade Paperback

Dimensions

Item Weight
39.5 Oz
Item Length
9.3 in
Item Width
6.1 in

Additional Product Features

Intended Audience
Scholarly & Professional
LCCN
2002-283770
Series Volume Number
2267
Number of Volumes
1 vol.
Illustrated
Yes
Table Of Content
Interactive Rule-Based Specification with an Application to Visual Language Definition.- Algebraic Abstractions.- Combining Logics: Parchments Revisited.- Canonical Institutions of Behaviour.- The Lübeck Transformation System: A Transformation System for Equational Higher Order Algebraic Specifications.- On the Compatibility of Model and Model-Class Transformations.- Verifying a Simple Pipelined Microprocessor Using Maude.- Verifying Architectural Specifications.- Geometric Modelling with CASL.- A Compositional Approach to Connector Construction.- Institution Independent Static Analysis for Casl.- Tight and Loose Semantics for Transformation Systems.- Presentations for Abstract Context Institutions.- Programs, Proofs and Parametrized Specifications.- Towards Trustworthy Specification I: Consistency Checks.- The Common Framework Initiative for Algebraic Specification and Development of Software: Recent Progress.
Synopsis
This book constitutes the thoroughly refereed post-workshop proceedings of the 15th International Workshop on Algebraic Development Techniques, WADT 2001, held jointly with the General Workshop of the ESPRIT Working Group CoFI in Genova, Italy, in April 2001. The book presents 16 papers selected from 32 workshop presentations. Among the topics addressed are formal specification, specification languages, term rewriting, and proof systems.
LC Classification Number
QA76.758

Artikelbeschreibung des Verkäufers

Info zu diesem Verkäufer

kobaryo-g0

100% positive Bewertungen•11 Artikel verkauft

Mitglied seit Dez 2024
Angemeldet als privater VerkäuferDaher finden verbraucherschützende Vorschriften, die sich aus dem EU-Verbraucherrecht ergeben, keine Anwendung. Der eBay-Käuferschutz gilt dennoch für die meisten Käufe.
Shop besuchenKontakt

Verkäuferbewertungen (9)

Alle Bewertungenselected
Positiv
Neutral
Negativ
Alle Bewertungen ansehen

Noch mehr entdecken: