Log ind
Om Polyteknisk Boghandel

< Tilbage 

Kurven er tom  
basket

Find bogen

 Avanceret søg
Titel eller forfatter eller ISBN Hjælp
 

Viser: Property-Preserving Petri Net Process Algebra in Software Engineering

Billede af omslag

Property-Preserving Petri Net Process Algebra in Software Engineering

Hejiao Huang
843,00 kr.
Ingen eksemplarer på lager
Bestil nu og få den leveret
om ca. 10 hverdage
Klik for at bedømme:
  • 0/6 (0 bedømmelser)
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
0/6 (0 bedømmelser)

Detaljer om varen

Hardback: 350 sider
Udgiver: World Scientific Publishing Company, Incorporated (Marts 2012)
Forfattere: Hejiao Huang
ISBN-10: 9814324280
ISBN-13: 9789814324281

Beskrivelse

In a component-based approach for system design, one of the difficult problems is how to prove the correctness of the created components. This volume presents a component-based methodology for the creation and verification of design specifications.



 
De oplyste priser er inkl. moms
 
 

Polyteknisk Boghandel

har gennem 45 år været studieboghandlen på DTU og en af Danmarks førende specialister i faglitteratur.

 

Vi lagerfører et bredt udvalg af bøger, ikke bare inden for videnskab og teknik, men også f.eks. ledelse, IT og meget andet.

Læs mere her

 
 

DTU + KU butikken lukket 18/5.

Vi gør opmærksom på at vores butikker holder lukket på fredag, d. 18/5.

 
Anbefalinger af polyteknisk.dk
 
 
 
 
 
 

Senest sete

  1. Property-Preserving Petr...
  2. Formelsamling til Statistik
  3. HP 35 S Matematikregner...
  4. Guide til EU-research
  5. HP 12 C Platinum Finansr...
  6. HP 15C lommeregner JUBIL...
 
 
Klik for at verificere at Polyteknisk Boghandel er godkendt til e-mærket.
Polyteknisk Boghandel & Forlag
Anker Engelunds Vej 1
DK-2800 Lyngby
Tel: (+45) 77 42 43 44
Email: poly@polyteknisk.dk