Formal Methods for Components and Objects

indgår i serie Lecture Notes in Computer Science


Studiebog
Formal Methods for Components and Objects
Du sparer Spar kr. 50,00 med Shopping-fordele
  • Leveringstid 5-8 hverdage
  • Forventet levering 23-04-2021
For at købe bogen til fordelspris skal du have et medlemskab med Shopping-fordele. Du kan prøve medlemskabet gratis de første 30 dage. Medlemskabet fornyes automatisk og kan altid opsiges. Læs mere om medlemskaber og Shopping-fordele her.
Format:
Bog, paperback
Udgivelsesdato:
01-08-2006
Sprog:
Engelsk
Udgave:
2006 ed..
  • Beskrivelse
  • Yderligere info
  • Anmeldelser

This book presents 19 revised invited keynote lectures and revised tutorial lectures given at the 4th International Symposium on Formal Methods for Components and Objects, FMCO 2005, Amsterdam, November 2005. The book provides a unique combination of ideas on software engineering and formal methods that reflect the current interest in the application or development of formal methods for large scale software systems such as component-based systems and object systems.

Vis mereVis mindre

Udgivelsesdato:
01-08-2006
ISBN13:
9783540367499
Vægt:
1370 g
Dybde:
23 mm
Bredde:
155 mm
Højde:
235 mm
Nummer i serien:
4111
Format:
Paperback
Forfattere

    Vis mereVis mindre

    Vis mereVis mindre

    Fandt du ikke hvad du søgte?

    Hvis denne bog ikke er noget for dig, kan du benytte kategorierne nedenfor til at finde andre titler. Klik på en kategori for at se lignende bøger.

    Velkommen til Saxo – din danske boghandel!

    Hos os kan du handle som gæst, Saxo-bruger eller Premium-medlem – du bestemmer helt selv. Skulle du få brug for hjælp, sidder vores kundeservice-team klar ved både telefonerne og tasterne.

    Om fordelspriser hos Saxo

    For at købe bøger til fordelspris, skal du være medlem af Premium, Premium Shopping eller Premium Studie. De første 30 dage er gratis for nye medlemmer. Medlemskabet fornyes automatisk og kan altid opsiges. Læs mere om fordelene ved vores forskellige medlemskaber her.

    Machine Name: SAXO082