Jean-raymond Abrial
Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday - Lecture Notes in Computer Science Jean-raymond Abrial

Name: Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday - Lecture Notes in Computer Science
Price: 549 SEK
Availability: OutOfStock
Author: Jean-raymond Abrial

Pris

SEK 549

Beställningsvara

Förväntad leverans 31 dec - 8 jan 2026

Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

14 dagars returrätt

Toppbetyg på Trustpilot

Lägg till din iMusic-önskelista

eller

Rigorous Methods for Software Construction and Analysis: Essays Dedicated to Egon Borger on the Occasion of His 60th Birthday - Lecture Notes in Computer Science

Jean-raymond Abrial

This Festschrift volume, published in honor of Egon Borger, contains 14 papers from a Dagstuhl Seminar, that cover a wide range of applied research, spanning from theoretical and methodological foundations to practical applications.

251 pages, 43 black & white illustrations, biography

Media	Böcker Pocketbok (Bok med mjukt omslag och limmad rygg)
Releasedatum	20 januari 2010
ISBN13	9783642114465
Utgivare	Springer-Verlag Berlin and Heidelberg Gm
Antal sidor	235
Mått	156 × 235 × 15 mm · 388 g
Språk	Franska
Redaktör	Abrial, Jean-Raymond
Redaktör	Glasser, Uwe