Bookbot

Rigorous methods for software construction and analysis

Parameters

Aantal pagina's
233bladzijden
Leestijd
9uren

Meer over het boek

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

Een boek kopen

Rigorous methods for software construction and analysis, Jean-Raymond Abrial

Taal
Jaar van publicatie
2009
product-detail.submit-box.info.binding
(Paperback)
Zodra we het ontdekt hebben, sturen we een e-mail.

Betaalmethoden

Nog niemand heeft beoordeeld.Tarief