-
Logic in Computer Science – Modelling and Rea...
Häftad bok. Cambridge University Press. 2 uppl. 2008. xiv+427 sidor.
Mycket gott skick. Fint exemplar med lättare hanteringsspår.
Huvudkapitel i boken: 1. Propositional logic; 2. Predicate logic; 3. Verification by model checking; 4. Program verification; 5. Modal logics and agents; 6. Binary decision diagrams. … läs merInrikes enhetsfrakt Sverige: 62 SEK- ISBN
- 9780521543101
- Titel
- Logic in computer science - modelling and reasoning about systems
- Författare
- Mark Ryan
- Förlag
- Cambridge University Press
- Utgivningsår
- 2004
- Omfång
- 440 sidor
- Bandtyp
- Mått
- 174 x 247 mm
- Vikt
- 750 g
- Språk
- Svenska
Cambridge University Press 2 9780521543101
Your country and preferred language.
Select your country Select languageDenna webbplats använder cookies för att säkerställa att du får den bästa upplevelsen.
Stäng
Välkommen till Sveriges största bokhandel
Här finns så gott som allt som givits ut på den svenska bokmarknaden under de senaste hundra åren.
- Handla mot faktura och öppet köp i 21 dagar
- Oavsett vikt och antal artiklar handlar du till enhetsfrakt från samma säljare i samma kundvagn