TAPSOFT '95: Theory and Practice of Software Development edito da Springer Berlin Heidelberg
Alta reperibilità

TAPSOFT '95: Theory and Practice of Software Development

6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22 - 26, 1995. Proceedings

EAN:

9783540592938

ISBN:

3540592938

Pagine:
836
Formato:
Paperback
Lingua:
Tedesco
Acquistabile con o la

Descrizione TAPSOFT '95: Theory and Practice of Software Development

This volume presents the proceedings of the Sixth International Joint Conference on the Theory and Practice of Software Engineering, TAPSOFT '95, held in Aarhus, Denmark in May 1995. TAPSOFT '95 celebrates the 10th anniversary of this conference series started in Berlin in 1985 to bring together theoretical computer scientists and software engineers (researchers and practitioners) with a view to discussing how formal methods can usefully be applied in software development. The volume contains seven invited papers, among them one by Vaugham Pratt on the recently revealed bug in the Pentium chip, and 44 revised full papers selected from a total of 147 submissions. In addition the TAPSOFT '95 proceedings contains 10 tool descriptions.

Spedizione gratuita
€ 132.14€ 139.09
Risparmi:€ 6.95(5%)
o 3 rate da € 44.05 senza interessi con
Disponibile in 10-12 giorni
servizio Prenota Ritiri su libro TAPSOFT '95: Theory and Practice of Software Development
Prenota e ritira
Scegli il punto di consegna e ritira quando vuoi

Recensioni degli utenti

e condividi la tua opinione con gli altri utenti