Formal Systems Specification: the Rpc-memory Specification Case Study - Lecture Notes in Computer Science - S Merz - Boeken - Springer-Verlag Berlin and Heidelberg Gm - 9783540619840 - 6 november 1996
Indien omslag en titel niet overeenkomen, is de titel correct

S Merz
Formal Systems Specification: the Rpc-memory Specification Case Study - Lecture Notes in Computer Science

Prijs
€ 50,99

Besteld in een afgelegen magazijn

Verwachte levering 5 - 15 jun.

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst

The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. This volume presents refereed papers discussing solutions to the problem. A problem statement and synopsis are also included.

566 pages, biography

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 6 november 1996
ISBN13 9783540619840
Uitgevers Springer-Verlag Berlin and Heidelberg Gm
Pagina's 566
Afmetingen 234 × 156 × 29 mm   ·   789 g
Taal en grammatica Duits  
Uitgever Broy, Manfred
Uitgever Merz, Stephan
Uitgever Spies, Katharina

Mere med samme udgiver

Bekijk alles van S Merz ( bijv. Paperback Book )