Kom i gang
Rask levering med
Trygg betaling med
© 2026 Bookis AS
Norsk
Norge
Region er basert på IP-adresse

Pocket • 2004 • Norsk Bokmål
0 vurderinger • 0.0 av 5
Om boken
This volume contains the refereed proceedings of the ?rst edition of three wo- shops colocated with the International Conference on Formal Techniques for Networked and Distributed Systems (FORTE). The workshops took place in Toledo (Spain) on the 1st and 2nd of October of 2004, and they dealt with d- ferent topics related to the application of formal methods. The names of the workshops were the following: - TheFormEMC: 1st International Workshop on Theory Building and Formal Methods in Electroni...Vis mer
Om boken
ISBN
9783540231691
Forlag
Berlin : Springer
Publiseringsår
2004
Språk
Norsk Bokmål
Originaltittel
Applying formal methods : testing, performance, and M/E-commerce : FORTE 2004 workshops The FormEMC, EPEW, ITM, Toledo, Spain, October 1-2, 2004 : proceedings
Format
Frakt og retur
Frakt
Brukte bøker sendes av selgeren. Forventet leveringstid etter pakken er sendt er 2-4 dager.
Returer
Kontakt selgeren etter levering.
Omtaler · 0
0 vurderinger • 0.0 av 5