×
Preskoči na informacije o izdelku
1 od 1
HUTH, MICHAEL (IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE, LONDON),RYAN, MARK (UNIVERSITY OF BIRMINGHAM)

This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and exp

Cena za kos z DDV. Dostava se obračuna ob zaključku nakupa.
Redna cena 93,27 €
Znižana cena 93,27 € Redna cena
Znižanje Razprodano

Na zalogi v poslovalnicah takoj ali preko spletnega naročila
Status dobavljivosti: 7-10 delovnih dni

Podrobnosti o izdelku

Poglej vse

ISBN

9780521543101

Mladinska knjiga ID

9780521543101

Leto izida

2004

Datum izida

26.08.2004

Število strani

440

Status dobavljivosti

7-10 delovnih dni

Založnik

Cambridge University Press

Avtor

Huth, Michael (Imperial College of Science, Technology and Medicine, London),Ryan, Mark (University of Birmingham)

Dimenzije

246 x 173 x 22

BIC

UYA,UYD,UYF

Opis

This second edition continues to provide a clear introduction to formal reasoning which is both relevant to the needs of modern computer science and rigorous enough for practical application. Improvements have been made throughout, with many extra and expanded sections and exercises. The coverage of model-checking has been substantially updated.

Pogosto kupljeno skupaj

Prikaži vse podrobnosti

Ostali so si ogledali tudi ...

O avtorju

*HUTH, MICHAEL (IMPERIAL COLLEGE OF SCIENCE, TECHNOLOGY AND MEDICINE, LONDON),RYAN, MARK (UNIVERSITY OF BIRMINGHAM)

O blagovni znamki

Ogled izdelka
novo
Ne! je moč (PODPISANA knjiga) ALJOŠA BAGOLA

Vezava: Integralna

29,99 €

Na zalogi v 47 poslovalnicah takoj ali preko spletnega naročila

Ogled izdelka
novo
Repki 2: Galaksija Repkarija (PODPISANA knjiga) ROK TERKAJ - TRKAJ , IGOR SAKSIDA

Vezava: Trda

29,99 €

Na zalogi v 46 poslovalnicah takoj ali preko spletnega naročila

Ogled izdelka
novo
Silmarillion J. R. R. TOLKIEN

Vezava: Trda

42,99 €

Na zalogi v 47 poslovalnicah takoj ali preko spletnega naročila

Ogled izdelka
novo
220 stopinj poševno: Kosila v pol ure (PODPISANA knjiga) URŠKA FARTELJ

Vezava: Trda

32,99 €

Na zalogi v 46 poslovalnicah takoj ali preko spletnega naročila

Ogled izdelka
The 48 Laws Of Power ROBERT GREENE

Vezava: Mehka

26,22 €

Na zalogi v 17 poslovalnicah takoj ali preko spletnega naročila

Ogled izdelka
novo
Vegetarijanka HAN KANG

Vezava: Mehka

14,99 €

Na zalogi v 44 poslovalnicah takoj ali preko spletnega naročila

Ogled izdelka
Bleščivka ŠPELA FRLIC

Vezava: Trda

27,99 €

Na zalogi v 43 poslovalnicah takoj ali preko spletnega naročila

Ogled izdelka
novo
Božič na Bradavičarki J. K. ROWLING

Vezava: Trda

24,99 €

Na zalogi v 48 poslovalnicah takoj ali preko spletnega naročila

Ogled izdelka
It Ends With Us COLLEEN HOOVER , HOOVER COLLEEN

Vezava: Mehka

13,23 €

Na zalogi v 18 poslovalnicah takoj ali preko spletnega naročila

Ogled izdelka
Atomske navade: preprost in preizkušen način za pridobivanje dobrih in opuščanje slabih navad (2. izdaja) JAMES CLEAR

Vezava: Trda

23,95 €

Na zalogi v 45 poslovalnicah takoj ali preko spletnega naročila