Verwandte Artikel zu Baltic Computer Science: Selected Papers: 502 (Lecture...
Reseña del editor
This volume presents a substantial part of the results obtained in the last few years in the field of computer science in the Baltic Republics of Estonia, Latvia and Lithuania. It includes results previously published only in Russian as well as completely new results. The following main topics are addressed: deductive synthesis of programs, automatic test case generation, and specification and generation of distributed systems. These are all fields where Baltic scientists have made substantial contributions. The volume contains both theoretical results and general descriptions and logical outlines of some practical systems.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
- VerlagSpringer
- Erscheinungsdatum2008
- ISBN 10 3540541314
- ISBN 13 9783540541318
- EinbandTapa blanda
- SpracheEnglisch
- Anzahl der Seiten636
Neu kaufen
Diesen Artikel anzeigen
EUR 108,12
EUR 3,57 für den Versand innerhalb von/der USA
Versandziele, Kosten & Dauer
Suchergebnisse für Baltic Computer Science: Selected Papers: 502 (Lecture...
Beispielbild für diese ISBN
Baltic Computer Science: Selected Papers (Lecture Notes in Computer Science)
Anbieter: GuthrieBooks, Spring Branch, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: Very Good. Ex-library paperback in very nice condition with the usual markings and attachments. Text block clean and unmarked. Tight binding. Bestandsnummer des Verkäufers DA1411924
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Baltic Computer Science: Selected Papers (Lecture Notes in Computer Science, 502)
Anbieter: Lucky's Textbooks, Dallas, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers ABLIING23Mar3113020169907
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Baltic Computer Science: Selected Papers (Lecture Notes in Computer Science, 502)
Anbieter: California Books, Miami, FL, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Bestandsnummer des Verkäufers I-9783540541318
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Baltic Computer Science: Selected Papers (Lecture Notes in Computer Science, 502)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Bestandsnummer des Verkäufers ria9783540541318_new
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Baltic Computer Science : Selected Papers
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume presents a substantial part of the results obtained in the last few years in the field of computer science in the Baltic Republics of Estonia, Latvia and Lithuania. It includes results previously published only in Russian as well as completely new results. The following main topics are addressed: deductive synthesis of programs, automatic test case generation, and specification and generation of distributed systems. These are all fields where Baltic scientists have made substantial contributions. The volume contains both theoretical results and general descriptions and logical outlines of some practical systems. Bestandsnummer des Verkäufers 9783540541318
Anzahl: 1 verfügbar
Foto des Verkäufers
Baltic Computer Science
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume presents a substantial part of the results obtained in the last few years in the field of computer science in the Baltic Republics of Estonia, Latvia and Lithuania. It includes results previously published only in Russian as well as completely n. Bestandsnummer des Verkäufers 4893069
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
Baltic Computer Science
Verlag:
Springer Berlin Heidelberg Jun 1991, 1991
ISBN 10: 3540541314
ISBN 13: 9783540541318
Neu
Taschenbuch
Anbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume presents a substantial part of the results obtained in the last few years in the field of computer science in the Baltic Republics of Estonia, Latvia and Lithuania. It includes results previously published only in Russian as well as completely new results. The following main topics are addressed: deductive synthesis of programs, automatic test case generation, and specification and generation of distributed systems. These are all fields where Baltic scientists have made substantial contributions. The volume contains both theoretical results and general descriptions and logical outlines of some practical systems. 636 pp. Englisch. Bestandsnummer des Verkäufers 9783540541318
Anzahl: 2 verfügbar