Status van bestelling controleren
LIBRISTO
LIBROAMANTO
verplicht
Wachtwoord vergeten
Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken
0
Gratis bezorging met Zásilkovna boven 69.99 €
DPD koerier 5.99 € Bpost punt 7.99 € Bpost 7.49 € DPD-punt 3.49 € GLS koerier 4.99 €
phone Contact phoneHoe winkelen bij ons werkt
Gratis bezorging voor bestellingen boven de 69,99 euro.

Foundations of Software Science and Computational Structures

10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24-April 1, 2007, Proceedings

Taal EngelsEngels
Boek Gebonden (paperback)
Boek Foundations of Software Science and Computational Structures Helmut Seidl
Libristo-code: 01568313
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, maart 2007
This book constitutes the refereed proceedings of the 10th International Conference on Foundations o... Volledige beschrijving
? points 141 b
58.32 €
In extern magazijn in kleine hoeveelheid Wordt binnen 13-18 dagen verzonden

Tot 30 dagen retourrecht

Klanten kochten ook

Ébénisterie: le meuble et sa structure Daudé / Boek Gebonden (harde band)
common.buy 58.52 €
Avalovara Osman Lins / Boek Gebonden (paperback)
common.buy 15.96 €
Gintama Acrylic Figure Prince Hata & Animal Paradise Farm of Love & Peace 6 cm Blind Box Display (6) Spel/speelgoed Speelgoed
common.buy 49.53 €
TOP
Skvělé příběhy Čtyřlístku Ljuba Štíplová / Boek Gebonden (harde band)
common.buy 21.83 €
JOSEFINE MUTZENBACHER Felix Salten / Boek Gebonden (paperback)
common.buy 19.70 €
Čo psy chcú Mat Ward / Boek Gebonden (harde band)
common.buy 15.05 €
CD MP3 Zapomniane władczynie. Kolekcja audio Dorota Pająk-Puda / Luisterboek Luisterboek
common.buy 39.42 €
TOP
Deutsch - Übungsgrammatik für die Grundstufe - PLUS, m. 1 Buch, m. 1 Beilage Anneli Billina / Boek Boek
common.buy 21.42 €
Lotta badet, Lotta geht aufs Töpfchen & Lotta in der Krippe Friderike Bostelmann / Spel/speelgoed Spel
common.buy 42.35 €
Дресс-код. Голая правда о моде Мари Арнтцер / Boek Gebonden (paperback)
common.buy 24.35 €
En trollkvinnas saga / Boek Gebonden (paperback)
common.buy 7.37 €
TOP Wordt verwacht
The Legend of Zelda PVC Statue Majora's Mask Collectors Edition 30 cm Spel/speelgoed Speelgoed
common.buy 103.11 €
Tajemnica mody Widmark Martin / Boek Gebonden (harde band)
common.buy 6.97 €
Dieťa osudu Tomáš Hrubý / Boek Gebonden (harde band)
common.buy 2.72 €
Elegie pro ovečku 7 Kei Toume / Boek Gebonden (paperback)
common.buy 12.22 €
Muž 50+ Michael Kernbach / Boek Gebonden (harde band)
common.buy 5.25 €
Joch in der Bibel und dessen Verwendung im realen Leben Roland Engelhart / Boek Gebonden (paperback)
common.buy 9.09 €
Der weiße Stern Iny Lorentz / Boek Gebonden (paperback)
common.buy 14.45 €
Quelques Reflexions Sur Les Prophylaxies Et Les Antagonismes Desmartis-T / Boek Gebonden (paperback)
common.buy 13.64 €
Aussenpolitik nach der Kuba-Krise (Dezember 1962 bis Oktober 1964) Gerhard Wettig / Boek Gebonden (harde band)
common.buy 49.73 €
Cuentos brasileños / Boek Gebonden (paperback)
common.buy 9.19 €
Baby Puzzle SET Zvířátka / Spel/speelgoed Puzzel
common.buy 7.37 €
Die Abenteuer des Apollo 4: Die Gruft des Tyrannen Jona Mues / Audio Audio cd
common.buy 15.26 €
Contemporary Japanese Architecture (English, French, German) Jodidio / Boek Gebonden (harde band)
common.buy 66.81 €

This book constitutes the refereed proceedings of the 10th International Conference on Foundations of Software Science and Computation Structures, FOSSACS 2007, held in Braga, Portugal in March/April 2007 as part of ETAPS 2007, the European Joint Conferences on Theory and Practice of Software.§The 25 revised full papers presented together with the abstract of 1 invited talk were carefully reviewed and selected from 103 submissions. The papers cover a broad spectrum on theories and methods to support analysis, synthesis, transformation and verification of programs and software systems. In particular the following topics are dealt with: algebraic models, automata and language theory, behavioral equivalences, categorical models, computation processes over discrete and continuous data, infinite state systems computation structures, logics of programs, modal, spatial, and temporal logics, models of concurrent, reactive, distributed, and mobile systems, process algebras and calculi, semantics of programming languages, software specification and refinement, type systems and type theory, fundamentals of security, semi-structured data, program correctness and verification.

Actrice & Polyglot
EWA KASP voor
Video afspelen
Ewa Kasp
Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

Volledige naam Foundations of Software Science and Computational Structures
Auteur Helmut Seidl
Taal Engels
Bindwijze Boek - Gebonden (paperback)
Datum van uitgifte 2007
Aantal pagina's 379
EAN 9783540713883
ISBN 3540713883
Libristo-code 01568313
Uitgeverij Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Gewicht 1230
Afmetingen 155 x 235 x 27

Categorieën

Informatica en informatietechnologie > Informatica > Mens-computerinteractie > Design van gebruikersinterface en gebruikersvriendelijkheid (UX)
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Vertaal- en vertolkingsprogramma‘s
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Programmeren en scripttalen: algemeen
Informatica en informatietechnologie > Computerprogrammering / softwareontwikkeling > Softwareontwikkeling
Informatica en informatietechnologie > Informatica > Wiskundige systeemtheorie
Informatica en informatietechnologie > Informatica > Systeemanalyse en systeemontwerp
Informatica en informatietechnologie > Informatica > Computerarchitectuur en logica-ontwerp
Informatica en informatietechnologie > Besturingssystemen
Geef dit boek vandaag nog cadeau
Dat gaat heel eenvoudig
1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger

Dit vind je misschien ook interessant

Data Mining and Knowledge Discovery with Evolutionary Algorithms Alex A Freitas / Boek Gebonden (paperback)
common.buy 102.90 €
Something Missing Darlene Halliday / Boek Gebonden (paperback)
common.buy 14.85 €
Heroic Elegies and Other Pieces of Llywarc Hen, Prince of the Cumbrian Britons HEN LLYWARCH / Boek Gebonden (harde band)
common.buy 32.54 €
Hello Dolly! JERRY HERMAN / Boek Gebonden (paperback)
common.buy 66.91 €
Cordially Invited: A seasonal guide to celebrations and hosting, perfect for festive planning, crafting and baking in the run up to Christmas! Brighton Grand / Boek Gebonden (harde band)
common.buy 24.15 €
Sensuous and Other Astral Experiences Now! Dr Stuart R Rolls Phd / Boek Gebonden (paperback)
common.buy 15.05 €
Easter: Facts vs Fiction Gene Keith / Boek Gebonden (paperback)
common.buy 6.76 €
Ordinances of the Common Council of the City of Trenton, Passed Since 1842; With the Acts of the Legislature Relative to Said City, Passed Since 1840. Anonymous / Boek Gebonden (paperback)
common.buy 14.14 €
Lin Robbe Seiler Heinz Wirz / Boek Gebonden (paperback)
common.buy 41.24 €
Reviewing Blindness in French Fiction, 1789-2013 Hannah Thompson / Boek Gebonden (harde band)
common.buy 74.50 €
Light of Kailash. A History of Zhang Zhung and Tibet Chögyal Namkhai Norbu / Boek Gebonden (paperback)
common.buy 32.54 €
Mexico, 1848-1853 Pedro Santoni / Boek Gebonden (harde band)
common.buy 244.23 €
Last Arab Jews UDOVITCH / Boek Gebonden (paperback)
common.buy 58.83 €
Super Team Maggie Testa / Boek Gebonden (paperback)
common.buy 7.27 €
Trick And Fancy Shots In Pocket Billiards Jimmy Caras / Boek Gebonden (paperback)
common.buy 24.76 €
101 Family Vacation Games Shando Varda / Boek Gebonden (paperback)
common.buy 12.83 €
Existential Background of Human Dignity Gabriel Marcel / Boek Gebonden (harde band)
common.buy 47.81 €
Das Krankenexamen: Ein Taschenbuch Fur Junge Aerzte Zum Gebrauch Am Krankenbette... Karl Sundelin / Boek Gebonden (paperback)
common.buy 27.79 €
G is for Ghosts ANDREW BOURELLE / Boek Gebonden (paperback)
common.buy 19.30 €
500 Hidden Secrets of Paris Marie Farman / Boek Gebonden (paperback)
common.buy 19.40 €
Tales of Chinatown: Bonus Book: Snakeheads - Screenplay Joe Bruno / Boek Gebonden (paperback)
common.buy 13.03 €
Learning Vue Maya Shavin / Boek Gebonden (paperback)
common.buy 49.53 €
Vincent Van Gogh Scrapbook Paper Make Better Crafts / Boek Gebonden (paperback)
common.buy 13.74 €
Hygge Maya Thoresen / Boek Gebonden (harde band)
common.buy 23.14 €

Inloggen

Log in op je account. Heb je nog geen Libristo-account? Maak nu een account aan!

 
verplicht
verplicht
Wachtwoord vergeten

Heb je geen account? Profiteer van de voordelen van een Libristo-account!

Met een Libristo-account heb je alles onder controle.

Een Libristo-account aanmaken
Boekadviseur Libroamiko
Hoi, ik ben Libroamiko, kan ik helpen?