Edité par Springer, 1983
ISBN 10 : 3540122567 ISBN 13 : 9783540122562
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Etat : New.
Edité par Springer, 1983
ISBN 10 : 3540122567 ISBN 13 : 9783540122562
Vendeur : booksXpress, Bayonne, NJ, Etats-Unis
Soft Cover. Etat : new.
Edité par Springer, 1983
ISBN 10 : 3540122567 ISBN 13 : 9783540122562
Vendeur : GreatBookPrices, Columbia, MD, Etats-Unis
Etat : As New. Unread book in perfect condition.
Edité par Springer, 1983
ISBN 10 : 3540122567 ISBN 13 : 9783540122562
Vendeur : Lucky's Textbooks, Dallas, TX, Etats-Unis
Etat : New.
Edité par Springer, 1983
ISBN 10 : 3540122567 ISBN 13 : 9783540122562
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Etat : New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book.
Edité par Springer Berlin Heidelberg Mrz 1983, 1983
ISBN 10 : 3540122567 ISBN 13 : 9783540122562
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -!lieses Buch entstand als Ausarbeitung einer Vorlesung fUr Informatik-Studenten des Hauptstudiums an der RWTH Aachen. Bekanntschaft mit der Programmiersprache PASCAL und einige praktische Erfahrungen bei der Software-Entwicklung sowie Grundlagenkennt nisse in Informatik konnten daher vorausgesetzt werden. Weitere Vorkenntnisse sollten nicht zur Bedingung gemacht werden. Da sich die Stoffauswahl im wesentlichen auf algebraische Methoden der Software-Spezi fikation beschrankt, ;]1UBte ein gewisser Apparat der Universellen Algebra innerhalb der Vorlesung angeboten werden. Hierbei wurde jedoch stets das Ziel der Anwendung auf die Spezifikationen im Auge behalten. Algebraische Konzepte wurden nur in dem Umfang eingefUhrt, wie er durch die jeweilige Problemstellung gerechtfertigt bzw. erforderlich gemacht wurde. Bei der Priisentation der Konzepte wurde das Hauptaugenmerk auf eine anschauliche, motivierende Darstellung gelegt. Beweise fiir die zugrundeliegenden Siitze der Universellen Algebra wurden in der Regel ausgelassen, um die konseq uente Entwick lung des Stoffes nicht aufzuhalten. Das Buch folgt in weiten Ziigen der Vorlesung und kann insofern auch als eine aus der Informatik motivierte EinfUhrung in die Universelle Algebra verstanden werden. Die in diesem Buch behandelten Methoden sind im wesentlichen theoretischer Natur, was aber nicht bedeutet, daB sie nicht auch praktisch anwendbar wiiren. Andererseits kann es auch fiir den Praktiker nur von Vorteil sein, sich wenigstens in groben Ziigen iiber die theoretischen Grundlagen seiner Arbeit klarzuwerden. 248 pp. Deutsch.
Edité par Springer 1983-03, 1983
ISBN 10 : 3540122567 ISBN 13 : 9783540122562
Vendeur : Chiron Media, Wallingford, Royaume-Uni
PF. Etat : New.
Edité par Springer, 1983
ISBN 10 : 3540122567 ISBN 13 : 9783540122562
Vendeur : GreatBookPricesUK, Castle Donington, DERBY, Royaume-Uni
Etat : New.
Edité par Springer Berlin Heidelberg, 1983
ISBN 10 : 3540122567 ISBN 13 : 9783540122562
Vendeur : Buchpark, Trebbin, Allemagne
Etat : Sehr gut. Zustand: Sehr gut - Gepflegter, sauberer Zustand. Innen: Seiten eingerissen. Aus der Auflösung einer renommierten Bibliothek. Kann Stempel beinhalten. | Seiten: 248 | Sprache: delaware | Produktart: Bücher.
Edité par Springer, 1983
ISBN 10 : 3540122567 ISBN 13 : 9783540122562
Vendeur : California Books, Miami, FL, Etats-Unis
Etat : New.
Edité par Springer Berlin Heidelberg, 1983
ISBN 10 : 3540122567 ISBN 13 : 9783540122562
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - !lieses Buch entstand als Ausarbeitung einer Vorlesung fUr Informatik-Studenten des Hauptstudiums an der RWTH Aachen. Bekanntschaft mit der Programmiersprache PASCAL und einige praktische Erfahrungen bei der Software-Entwicklung sowie Grundlagenkennt nisse in Informatik konnten daher vorausgesetzt werden. Weitere Vorkenntnisse sollten nicht zur Bedingung gemacht werden. Da sich die Stoffauswahl im wesentlichen auf algebraische Methoden der Software-Spezi fikation beschrankt, ;]1UBte ein gewisser Apparat der Universellen Algebra innerhalb der Vorlesung angeboten werden. Hierbei wurde jedoch stets das Ziel der Anwendung auf die Spezifikationen im Auge behalten. Algebraische Konzepte wurden nur in dem Umfang eingefUhrt, wie er durch die jeweilige Problemstellung gerechtfertigt bzw. erforderlich gemacht wurde. Bei der Priisentation der Konzepte wurde das Hauptaugenmerk auf eine anschauliche, motivierende Darstellung gelegt. Beweise fiir die zugrundeliegenden Siitze der Universellen Algebra wurden in der Regel ausgelassen, um die konseq uente Entwick lung des Stoffes nicht aufzuhalten. Das Buch folgt in weiten Ziigen der Vorlesung und kann insofern auch als eine aus der Informatik motivierte EinfUhrung in die Universelle Algebra verstanden werden. Die in diesem Buch behandelten Methoden sind im wesentlichen theoretischer Natur, was aber nicht bedeutet, daB sie nicht auch praktisch anwendbar wiiren. Andererseits kann es auch fiir den Praktiker nur von Vorteil sein, sich wenigstens in groben Ziigen iiber die theoretischen Grundlagen seiner Arbeit klarzuwerden.
Edité par Springer, 1983
ISBN 10 : 3540122567 ISBN 13 : 9783540122562
Vendeur : GreatBookPricesUK, Castle Donington, DERBY, Royaume-Uni
Etat : As New. Unread book in perfect condition.
Edité par Springer Berlin Heidelberg, 1983
ISBN 10 : 3540122567 ISBN 13 : 9783540122562
Vendeur : Revaluation Books, Exeter, Royaume-Uni
Paperback. Etat : Brand New. 246 pages. German language. 9.61x6.69x0.56 inches. In Stock.
Edité par Springer, Berlin 1983, 1983
Vendeur : Antiquariat Thomas & Reinhard, Recklinghausen, NRW, Allemagne
dies ist ein regulär ausgesondertes Bibliotheksexemplar aus einer wissenschaftlichen Bibliothek mit der üblichen Signatur und Stempel, keine Markierungen-Anstreichungen-Stempel im Text, broschiert, Format groß 8°, 235 Seiten, diese etwas nachgedunkelt, Preisetikett auf dem Hinterdeckel, gut erhaltenes Buch. Shipping to abroad insured with tracking number.
Edité par Springer, 1983
ISBN 10 : 3540122567 ISBN 13 : 9783540122562
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Etat : New. 1983. Paperback. . . . . .
Edité par Springer Berlin Heidelberg, 1983
ISBN 10 : 3540122567 ISBN 13 : 9783540122562
Vendeur : moluna, Greven, Allemagne
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 1. Abstrakte Strukturen.- 2. Gleichungen, Spezifikationen.- 3. Rechnungen in Gleichungssystemen.- 4. Erweiterungen von Gleichungsspezifikationen.- 5. Finale Semantik.- 6. Behandlung von Ausnahmezustaenden.- 7. Implementierungen von Gleichungsspezifikationen.
Edité par Springer, 1983
ISBN 10 : 3540122567 ISBN 13 : 9783540122562
Vendeur : Kennys Bookstore, Olney, MD, Etats-Unis
Etat : New. 1983. Paperback. . . . . . Books ship from the US and Ireland.
Edité par Springer, 1983
ISBN 10 : 3540122567 ISBN 13 : 9783540122562
Vendeur : Mispah books, Redhill, SURRE, Royaume-Uni
Paperback. Etat : Very Good. Very Good. book.