Covers the timeline and research literature concerning proof development for program verification, including theories, languages, and tools. The book emphasizes challenges and breakthroughs at each stage in history and highlights challenges that are curre
RINGER, TALIA,PALMSKOG, KARL,SERGEY, ILYA,GLIGORIC, MILOS,TATLOCK, ZACHARY
QED at Large
Covers the timeline and research literature concerning proof development for program verification, including theories, languages, and tools. The book emphasizes challenges and breakthroughs at each stage in history and highlights challenges that are curre
Zaloga po trgovinah
Rezultati:
Podrobnosti o izdelku
Poglej vseISBN
9781680835946Mladinska knjiga ID
9781680835946Leto izida
2019Datum izida
03.09.2019Število strani
194Status dobavljivosti
7-10 delovnih dniZbirka
Foundations and Trends® in Programming LanguagesZaložnik
now publishers IncAvtor
Ringer, Talia,Palmskog, Karl,Sergey, Ilya,Gligoric, Milos,Tatlock, ZacharyDimenzije
234 x 293 x 14BIC
UMXOpis
Covers the timeline and research literature concerning proof development for program verification, including theories, languages, and tools. The book emphasizes challenges and breakthroughs at each stage in history and highlights challenges that are currently present due to the increasing scale of proof developments.Pogosto kupljeno skupaj
Mehka vezava
Ostali so si ogledali tudi ...
Vezava: Trda
Na zalogi v 45 poslovalnicah takoj ali preko spletnega naročila
Vezava: Integralna
Na zalogi v 47 poslovalnicah takoj ali preko spletnega naročila
Vezava: Trda
Na zalogi v 47 poslovalnicah takoj ali preko spletnega naročila
Vezava: Mehka
Na zalogi v 15 poslovalnicah takoj ali preko spletnega naročila
Vezava: Trda
Na zalogi v 42 poslovalnicah takoj ali preko spletnega naročila
Vezava: Mehka
Na zalogi v 20 poslovalnicah takoj ali preko spletnega naročila
Vezava: Mehka
Na zalogi v 43 poslovalnicah takoj ali preko spletnega naročila
Več kot pol milijona knjig
Največja ponudba slovenskih in tujih knjig na enem mestu.
Enostaven nakup
Do izbranega le z nekaj kliki na spletu ali v eni od več kot 50 knjigarn.
Strokoven nasvet
Pred nakupom nas pokličite za nasvet ali se oglasite v knjigarni.
Vse za šolo
Nagrajena izobraževalna gradiva in kakovostne potrebščine.
Celovita ponudba za dom in pisarno
Vrhunski izdelki priznanih blagovnih znamk.
Brezplačna dostava
Brezplačna dostava za vsa naročila nad 59 € (za šolske pakete nad 140 €)
- Ko izberete elemente, se celotna stran osveži.
- Odpre se v novem oknu.