Status der Bestellung anzeigen
LIBRISTO
LIBROAMANTO
obligatorisch
Passwort vergessen
Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen
0
Kostenloser Versand mit Zásilkovna ab 69.99 €
Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €
phone Kontakt phoneWie einkaufen

Foundations of Software Science and Computation Structures

Second International Conference, FOSSACS '99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS '99, Amsterdam, The Nederlands, March 22-28, 1999. Proceedings.

Sprache EnglischEnglisch
Buch Broschur
Buch Foundations of Software Science and Computation Structures Wolfgang Thomas
Libristo-Code: 05274925
Verlag Springer, Berlin, November 1998
The International Conference Foundations of Software Science and Compu- tion Structures (FOSSACS) is... Vollständige Beschreibung
? points 132 b
53.79 € inkl. MwSt.
Externes Lager Wir versenden in 5-8 Tagen

Bis zu 30 Tage Rückgaberecht

Kunden kauften auch

Getting up : el grafiti metropolitano en Nueva York = Hacerse ver Craig Castleman / Buch Broschur
common.buy 23.89 €
Günstig
Nemoćna Lauren Roberts / Buch Broschur
common.buy 13.89 €
Don Pedro Girón, duque de Osuna Luis María Linde de Castro / Buch Broschur
common.buy 39.99 €
Blue Spring Ride 2in1 06 + Box Alexandra Keerl / Buch Broschur
common.buy 24.00 €
Bagatelles Coloma / Buch Broschur
common.buy 26.09 €
Zergliederungen - Anatomie und Wahrnehmung in der Frühen Neuzeit Albert Schirrmeister / Buch Broschur
common.buy 36.39 €
Flie vorg nge in Der Spinnd se Und Dem Blaukonus Des Cuoxam-Verfahrens Wilhelm Kast / Buch Broschur
common.buy 55.29 €
Memoires Secrets Et Critiques Cours, Gouvernemens, Et Moeurs Des Principaux Etats de l'Italie T1 Giuseppe Gorani / Buch Broschur
common.buy 31.79 €
190 experiencias de ciencias para la enseñanaza secundaria Ramírez / Buch Broschur
common.buy 20.89 €
Sistema institucional y normativo del empleo ALVARELLOS GALVE / Buch Broschur
common.buy 15.29 €
ALBERTINA THE HISTORY OF THE COLLECTION AND ITS MASTERPIECES Buch Broschur
common.buy 75.99 €
Habita Tu Cuerpo Judith Blackstone / Buch Broschur
common.buy 20.59 €
Anforderungen an ein regionales Controlling Mirko Hinrichs / Buch Broschur
common.buy 62.29 €
Le Barbier De Pezenas (1877) Emile Blemont / Buch Broschur
common.buy 25.89 €
Digitales Marketing und Social Media am Beispiel der ERGO Direkt Dominik Badarne / Buch Broschur
common.buy 18.95 €
Geschichte des Kirchenstaates im 16. und 17. Jahrhundert Moritz Brosch / Buch Hardcover
common.buy 117.90 €
EL SECRETO DE LAS PRINCESAS TEA STILTON / Buch Hardcover
common.buy 17.69 €
JAZZ METHOD FOR SAXOPHONE BAND 1 John O'Neill / Buch Broschur
common.buy 39.29 €
La Divina Commedia di Dante Dante Alighieri / Buch Hardcover
common.buy 19.90 €
Rose d'Amour Alfred Assollant / Buch Broschur
common.buy 12.29 €
Les contemplations Aujourd'hui, 1843-1856 Victor Hugo / Buch Hardcover
common.buy 23.39 €
Alte Meister für Querflöte und Klavier/Orgel Franz Kanefzky / Buch Blatt
common.buy 19.90 €
Sintez Regulyatorov Dlya Sistem Avtomatiki Anatoliy Vostrikov / Buch Broschur
common.buy 36.39 €

The International Conference Foundations of Software Science and Compu- tion Structures (FOSSACS) is a constituent of the Joint European Conferences on Theoryand Practice of Software (ETAPS). The present volume contains the contributions to FOSSACS 99, the second conference in this series, which took place in Amsterdam. As formulated in the call for papers, FOSSACS focusses on papers which o?er progress in foundational research with a clear signi?cance for software science. A central issue is theories and methods which support the speci?cation, tra- formation, veri?cation, and analysis of programs and software systems. The articles in this volume represent a wide spectrum of approaches to this general aim. In manypapers, one ?nds the studyof new concepts and methods which are motivated byrecent trends (or problems) in the practical use of software and information technology. The volume contains 18 contributed papers, preceded bythree invited papers. The ?rst, byM. Abadi, accompanies his unifying invited lecture addressed to the whole ETAPS audience. The second, byJ. Esparza and J. Knoop, contains an application of the results presented byJ. Esparza in his invited lecture to FOSSACS 99. The third summarizes an invited tutorial byD. Sangiorgi p- sented to ETAPS 99.

Schauspielerin & Polyglotte
EWA KASP für
Video abspielen
Ewa Kasp
Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Foundations of Software Science and Computation Structures
Autor Wolfgang Thomas
Sprache Englisch
Einband Buch - Broschur
Datum der Veröffentlichung 1999
Anzahl der Seiten 330
EAN 9783540657194
ISBN 3540657193
Libristo-Code 05274925
Verlag Springer, Berlin
Gewicht 448
Abmessungen 156 x 234 x 18

Kategorie

EDV und Informationstechnologie > Informatik > Mensch-Computer-Interaktion > Interfacedesign, Benutzerfreundlichkeit (Usability)
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Compiler und Übersetzer
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Programmier- und Skriptsprachen, allgemein
EDV und Informationstechnologie > Computerprogrammierung und Softwareentwicklung > Software Engineering
EDV und Informationstechnologie > Informatik > Theoretische Informatik
EDV und Informationstechnologie > Informatik > Rechnerarchitektur und Logik-Entwurf
Medizin > Medizin, allgemein
EDV und Informationstechnologie > Betriebssysteme
Verschenken Sie dieses Buch noch heute
Es ist ganz einfach
1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert

Das könnte Sie auch interessieren

Diagnostic and Prognostic Biomarkers and Therapeutic Targets in Melanoma Michael J. Murphy / Buch Hardcover
common.buy 234.09 €
The Cross Dresser's Wife - Our Secret Lives Dee A Levy / Buch Broschur
common.buy 12.59 €
Secrets of the Eternal Moon Phase Goddesses: Meditations on Desire, Relationships and the Art of Being Broken Julie Peters / E-Book Adobe ePub DRM
common.buy 19.69 €
Rebel Voices: An IWW Anthology Fred Thompson / Buch Broschur
common.buy 23.89 €
Block Backstepping Design of Nonlinear State Feedback Control Law for Underactuated Mechanical Systems Shubhobrata Rudra / Buch Hardcover
common.buy 107.29 €
Sir John Fortescue's The Trying of Souls J. W. Fortescue / Buch Broschur
common.buy 19.69 €
Hey Diddle Didddle (I'll Sing You My Song) Dennis Albertson / Buch Broschur
common.buy 19.19 €
BASIC CHROMATIC HARMONICA Phil Duncan / Buch Broschur
common.buy 14.49 €
Look and Learn: In My Garden National Geographic Kids / Buch Leporello
common.buy 8.09 €
Reflecting on Nana CHITNIS / Buch Broschur
common.buy 60.49 €
A Cup Of Coffee With 10 Of The Top Criminal Defense Attorneys In The United States: Valuable insights you should know if you are accused of a crime Noah H Pines Esq / Buch Broschur
common.buy 24.79 €
Remembering Remus in Price Hill Julie Hotchkiss / Buch Broschur
common.buy 9.29 €
Demnächst
Case of the Secret Pony Kelly McKain / Buch Broschur
common.buy 5.89 €
Snowball The Oddball Kobold Victoria Zigler / Buch Broschur
common.buy 8.89 €
Uses of Justice in Global Perspective, 1600-1900 Griet Vermeesch / Buch Broschur
common.buy 70.19 €
None Yards!: 30 Years of John Madden in the Broadcast Booth Tom Danyluk / Buch Broschur
common.buy 14.49 €
Chiin-na in Wing Chun Semyon Neskorodev / Buch Broschur
common.buy 13.09 €
Papers On The Legal History Of Government: Difficulties Fundamental And Artificial (1920) Melville Madison Bigelow / Buch Broschur
common.buy 30.79 €
Hollow Earth F.T. Ives / Buch Broschur
common.buy 13.19 €
Slick Brenda Hampton / Hörbuch MP3
common.buy 20.99 €
Candy Cane Challenge Melody Tyden / Buch Broschur
common.buy 18.09 €
A Book of Days Patti Smith / Buch Broschur
common.buy 14.49 €
The Thing About Life Is That One Day You'll Be Dead David Shields / Buch Broschur
common.buy 19.59 €
Let's Learn About MEXICO Col Bk Green / Buch Broschur
common.buy 5.89 €

Anmeldung

Melden Sie sich bei Ihrem Konto an. Sie haben noch kein Libristo-Konto? Erstellen Sie es jetzt!

 
obligatorisch
obligatorisch
Passwort vergessen

Sie haben kein Konto? Nutzen Sie die Vorteile eines Libristo-Kontos!

Mit einem Libristo-Konto haben Sie alles unter Kontrolle.

Erstellen Sie ein Libristo-Konto
Buchberater Libroamiko
Hallo, ich bin Libroamiko, kann ich helfen?