Abstract state machines, Alloy, B and Z : second international conference, ABZ 2010, Orford, QC, Canada, February 22-25, 2010 : proceedings

ABZ 2010 was held in the beautiful natural setting of Orford in the Eastern Townships of Québec, during February 22-25, 2010, midway through the Canadian winter and the 21st Winter Olympics, bringing participants from all over the world to brave this rigorous climate. ABZ covers recent advances in f...

Celý popis

Podrobná bibliografie

Další autoři:	Frappier, Marc (Editor) Glässer, Uwe (Editor) Khurshid, Sarfraz (Editor) Laleau, Régine (Editor) Reeves, Steve (Editor)
Korporace:	SpringerLink (online služba) (Distributor)
Konference:	ABZ (konference) (2. : 2010 : Orford, Kanada)
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Berlin ; Heidelberg ; New York : Springer, 2010
Edice:	Lecture notes in computer science
Žánr/forma:	elektronické knihy sborníky konferencí
ISBN:	978-3-642-11811-1 978-3-642-11810-4 3-642-11810-0
Témata:	kryptografie informatika počítače algoritmizace programovací jazyk Java matematická logika formální jazyky
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!