Kniha Foundations of Software Science and Computation Structures Furio Honsell

Foundations of Software Science and Computation Structures

4th International Conference, FOSSACS 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings

Jazyk: Angličtina
Vazba: Brožovaná
Dostupnost: Skladem u dodavatele
Odesíláme za 5-8 dnů
1 147
This book constitutes the refereed proceedings of the 4th International Conference on Foundations of...

Informace o knize

Jazyk
Angličtina
Vazba
Kniha - Brožovaná
Vydáno
2001
Stránek
420
EAN
9783540418641
ISBN
3540418644
Enbook ID
01563389
Hmotnost
1330
Rozměry
155 x 235 x 24

Kompletní popis

This book constitutes the refereed proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2001, held in Genova, Italy in April 2001.The 25 revised full papers presented together with an invited paper and a tool presentation paper were carefully reviewed and selected from a total of 63 submissions. Among the topics covered are algebraic, categorical, logical, and geometric theories, models, and methods supporting the specification, synthesis, verification, analysis, and transformation of sequential, concurrent, distributed and mobile programs and software systems.

Mohlo by vás zajímat

Toddler Coloring Book Animals

The Coloring Book Art Design Studio
209

Misbehaving

Richard H. Thaler
283

Wood Becomes Water

Gail Reichstein
370

Dark Wear

Tabitca Cope
383

Sensuous Frazetta

J David Spurlock
479

The Sign of the Sengara

Jarrett Skaddisson
453
1 254

Creating Stylized Animals

Publishing 3dtotal
741

Severance Genealogy

David C Dewsnap
867
116

Baby Farm Animals

Sandra Grimm
251

Holy Meal A

Gordon T Smith
454
380

Shock of the Fall

Nathan Filer
181
268

Zákaznicí kteří koupili tuto knihu koupili také

Mon Couserans

Peyronnet
648

Argentina y Venezuela: 20 testimonios

Alejandro Martinez Ubieda
155

Less Is More

Lost Frequencies
468

Richteramt und Ethik.

Herbert Schambeck
516

Lire et s'entrainer

PROSPER MERIMEE
218