Dines Bjørner ; Manfred Broy ; Igor V. Pottosin Formal Methods in Programming and Their Applications

Formal Methods in Programming and Their Applications

International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings

Dines Bjørner ; Manfred Broy ; Igor V. Pottosin
Lecture Notes in Computer Science  (735)
Engels
(0 recensies)
Formal Methods in Programming and Their Applications, Dines Bjørner ; Manfred Broy ; Igor V. Pottosin - Paperback - 9783540573166
Samenvatting
Lees Samenvatting Minder Samenvatting
Specificaties
Alle specificaties Minder specificaties
Thema’s
Alle thema's Minder thema's
Recensies
-
Nog geen recensies. Wees de eerste!
De correspondente | Virginia Evans
Verschijnt 18 juni

De correspondente | Virginia Evans

Lees meer
Contrapposto | Dave Eggers
Nu verkrijgbaar

Contrapposto | Dave Eggers

Lees meer
Lichtval | Maarten Hijink
Nu verkrijgbaar

Lichtval | Maarten Hijink

Lees meer
window.addEventListener('load', function () { let carousel_65797639_object = new Carousel('carousel_65797639', 1, 3); })

ONLINE WINKELEN BIJ JE LOKALE BOEKHANDEL

Bestellen & afhalen

Bestellen & afhalen

Bestel online en haal op in de winkel
Retourneren

Retourneren

Je hebt 14 dagen om van gedachten te veranderen
Klantenservice

Klantenservice

Vind het antwoord op een specifieke vraag

Beste boekenliefhebber,

Wat leuk dat je er bent! Om onze website te laten functioneren maken we gebruik van cookies. Kies hieronder welke cookies we mogen plaatsen. 

Onze noodzakelijke cookies verzamelen geen persoonsgegevens en helpen ons de website te verbeteren. Wil je de beste website-ervaring? Kies dan voor alle cookies. 

Meer informatie vind je in ons cookiebeleid.

Geef eventueel je voorkeuren aan:

Hostname: pro-mbooks2