topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 33
 |
Logische und Methodische Grundlagen der Entwicklung verteilter Systeme
ISBN: 9783662673164 / Niemiecki / Miękka / 2023 / 460 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Softwareentwicklung erfordert - ausgehend von informellen Problemstellungen - Spezifikationen unter Festlegung der Daten- und Rechenstrukturen, Implementierungen und die Verifikation der Korrektheit. Zur Bewältigung dieser Aufgaben hat die Informatik eine Reihe grundlegender Ansätze und Methoden entwickelt, die in zwei Bänden in einem einheitlichen Rahmen zusammengefasst und an Beispielen erläutert werden. Der erste Band widmet sich der Spezifikationen von Daten- und Rechenstrukturen, der Spezifikation und Implementierung sowie dem Nachweis der Korrektheit funktionaler, prozeduraler und...
Softwareentwicklung erfordert - ausgehend von informellen Problemstellungen - Spezifikationen unter Festlegung der Daten- und Rechenstrukturen, Implem...
|
cena:
162,13 zł |
 |
Software-Entwicklung Für Kommunikationsnetze
ISBN: 9783642627927 / Niemiecki / Miękka / 2012 / 274 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Das Buch behandelt Prinzipien und Methoden der Software-Entwicklung fur Kommunikationsnetze, basierend auf praktischen Erfahrungen aus einer Reihe von Software-Projekten. Die spezifischen Merkmale dieser Software sind parallele Ablaufe, zeitkritisches Antwortverhalten, komplexe Funktionalitat und sehr hohe Qualitatsanforderungen. Eine wesentliche Rolle bei der Beherrschung der Software-Komplexitat spielt die Architektur. Sie stellt die Regeln und Methoden fur einen effektiven Systementwurf zur Verfugung, auf dem sich der gesamte Entwicklungsprozess abstutzen kann. Dazu gehort eine...
Das Buch behandelt Prinzipien und Methoden der Software-Entwicklung fur Kommunikationsnetze, basierend auf praktischen Erfahrungen aus einer Reihe von...
|
cena:
198,14 zł |
 |
Modellbildung in Der Informatik
ISBN: 9783642622670 / Niemiecki / Miękka / 2013 / 256 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Leitlinie dieser Einfuhrung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Techniken zur Verfugung stehen, um Informatiksysteme analysieren oder entwerfen zu konnen. Modelle enstehen in der Zusammenschau unterschiedlicher Ansichten eines Systems, die durch pragnante Diagramme beschrieben werden: Entity-Relationship-, Systemstruktur-, Zustandsubergangs- und Sequenzdiagramme. Inharenter Bestandteil dieser grafischen Beschreibungstechniken ist die Charakterisierung der zugrundeliegenden Daten (z.B. in funktionaler... Leitlinie dieser Einfuhrung in die Informatik ist die Frage, welche Vorgehensweisen einem Problem informatische Kontur verleihen und welche Technik... |
cena:
107,92 zł |
 |
Program Design Calculi
ISBN: 9783540569435 / Angielski / Twarda / 1993 / 416 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Several design calculi for software and hardware systems are described and demonstrated in this monograph. The contributors discuss recent developments in the systematic study of the specification, refinement and verification of sequential, functional and distributed systems.
Several design calculi for software and hardware systems are described and demonstrated in this monograph. The contributors discuss recent development...
|
cena:
771,08 zł |
 |
Program Design Calculi
ISBN: 9783642081644 / Angielski / Miękka / 2010 / 416 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by now that more complex software systems cannot and should not be constructed in one step. A careful, systematic, and disciplined structuring of the development process is most adequate. It should start from basic requirement specifications in which aU the relevant details of the problem to be solved are formalized. The envisaged solution should be developed step by step by adding more and more details and giving evidence-in the best case by formal...
The development of information processing systems requires models, calculi, and theories for the analysis of computations. It is well understood by no...
|
cena:
771,08 zł |
 |
Perspectives of Systems Informatics: 5th International Andrei Ershov Memorial Conference, Psi 2003, Akademgorodok, Novosibirsk, Russia, July 9-12, 200
ISBN: 9783540208136 / Angielski / Miękka / 2004 / 572 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Thevolumecomprises?nalversionsofthepaperspresentedatthe5thInternat- nal Andrei Ershov Memorial Conference Perspectives of System Informatics, Akademgorodok (Novosibirsk, Russia), July 9 12, 2003. The main goal of the conference was to give an overview of research directions that are decisive for growth in the major areas of research activities in system informatics. The conference was held to honor the 70th anniversary of Ershov s closest colleague, the late Prof. Igor Pottosin (1933 2001), and his outstanding cont- bution towards advancing informatics. The ?rst four Andrei Ershov conferences...
Thevolumecomprises?nalversionsofthepaperspresentedatthe5thInternat- nal Andrei Ershov Memorial Conference Perspectives of System Informatics, Akademgo...
|
cena:
192,74 zł |
 |
Deductive Program Design
ISBN: 9783540609476 / Angielski / Twarda / 1996 / 470 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical theories. However, the application of deductive techniques in program design needs methods, heuristics, and understanding of the required forms and formats of the development result that go far beyond those found in logical theories. The summer school presents a very broad spectrum of approaches to these issues. Edsger W. Dijkstra gives a number of beautiful examples that show how to design proofs. Samson Abramsky, Simon...
Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subj...
|
cena:
771,08 zł |
 |
Deductive Program Design
ISBN: 9783642648496 / Angielski / Miękka / 2011 / 470 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subject of study in logical theories. However, the application of deductive techniques in program design needs methods, heuristics, and understanding of the required forms and formats of the development result that go far beyond those found in logical theories. The summer school presents a very broad spectrum of approaches to these issues. Edsger W. Dijkstra gives a number of beautiful examples that show how to design proofs. Samson Abramsky, Simon...
Deductive program design aims at methods that guide and support the development of programs by techniques of deduction. Deduction is a well-known subj...
|
cena:
771,08 zł |
 |
Informatik. Eine Grundlegende Einführung: Teil III: Systemstrukturen Und Systemnahe Programmierung
ISBN: 9783540576723 / Niemiecki / Miękka / 1994 / 187 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Dieser dritte Teil der vierteiligen Einfuhrung in die Informatik behandelt verteilte informationsverarbeitende Systeme und systemnahe Programmierung. Nach den Grundbegriffen verteilter Systeme und den zugrundeliegenden mathematischen Modellen werden elementare Beschreibungstechniken fur Systeme, z.B. Petri-Netze und die Hoare'sche Notation fur kommunizierende, sequentielle Programme, vorgestellt sowie die Programmierung parallel ablaufender Programme. Weiter werden typische Aspekte der systemnahen Programmierung wie Aufbau und Wirkungsweise von Betriebssystemen besprochen sowie die...
Dieser dritte Teil der vierteiligen Einfuhrung in die Informatik behandelt verteilte informationsverarbeitende Systeme und systemnahe Programmierung. ...
|
cena:
179,98 zł |
 |
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Sys
ISBN: 9781402035302 / Angielski / Twarda / 2005 / 404 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in... Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircr... |
cena:
771,08 zł |
 |
Formal Systems Specification: The Rpc-Memory Specification Case Study
ISBN: 9783540619840 / Angielski / Miękka / 1996 / 543 str. Termin realizacji zamówienia: ok. 20 dni roboczych. The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches to formal specification, refinement, and verification.
Preliminary solutions were discussed during a workshop at Schloss Dagstuhl, Germany, in September 1994. Then an extensive discussion took place between the referees and authors. Finally 15 thoroughly revised papers were accepted for inclusion... The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a...
|
cena:
192,74 zł |
 |
Software Pioneers: Contributions to Software Engineering
ISBN: 9783642639708 / Angielski / Miękka / 2014 / 728 str. Termin realizacji zamówienia: ok. 20 dni roboczych. A Brief Status Report The major advancement in the area of modular programming has been the development of coding techniques and assemblers which (1) allow one modu1e to be written with little knowledge of the code in another module, and (2) alJow modules to be reas- sembled and replaced without reassembly of the whole system.
A Brief Status Report The major advancement in the area of modular programming has been the development of coding techniques and assemblers which (1) ...
|
cena:
578,30 zł |
 |
Informatik: Eine Grundlegende Einführung. Band 2: Systemstrukturen Und Theoretische Informatik
ISBN: 9783540643920 / Niemiecki / Twarda / 1998 / 404 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Diese in der Neuauflage zweibandige Einfuhrung behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Die Darstellung zeichnet sich durch saubere formale Fundierung und begriffliche Klarheit aus. Der vorliegende Band 2 fasst die in der 1. Auflage getrennt erschienenen Teile III und IV zusammen. Teil III behandelt Grundbegriffe und Beschreibungstechniken fur verteilte informationsverarbeitende Systeme sowie systemnahe Programmierung und Betriebssysteme. Teil IV geht auf die...
Diese in der Neuauflage zweibandige Einfuhrung behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten ...
|
cena:
118,87 zł |
 |
Einführung in Die Softwaretechnik
ISBN: 9783662502624 / Niemiecki / Twarda / 2021 / 666 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
216,18 zł |
 |
Engineering Theories of Software Intensive Systems: Proceedings of the NATO Advanced Study Institute on Engineering Theories of Software Intensive Sys
ISBN: 9781402035319 / Angielski / Miękka / 2005 / 404 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircraft industry as well as in production engineering and computer networks. Foundations in software technology lie in models allowing to capture application domains, detailed requirements, but also to understand the structure and working of software systems like software architectures and programs. These models have to be expressed in techniques based on discrete mathematics, algebra and logics. However, according to the very specific needs in... Software engineering has over the years been applied in many different fields, ranging from telecommunications to embedded systems in car and aircr... |
cena:
771,08 zł |
 |
Informatik: Eine Grundlegende Einführung Teil I. Problemnahe Programmierung
ISBN: 9783540551911 / Niemiecki / Miękka / 1992 / 250 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Die Informatik hat sich zu einer wissenschaftlichen Disziplin entwickelt, die in vielfaltiger Weise Methoden und Techniken fur die Modellierung, Darstellung und Implementierung informationsverarbeitender Systeme bereitstellt. Diese grundlegende Einfuhrung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Dabei wird auf eine saubere, formale Fundierung und begriffliche Klarheit Wert gelegt.
In diesem ersten von vier Banden wird das gesamte Gebiet der... Die Informatik hat sich zu einer wissenschaftlichen Disziplin entwickelt, die in vielfaltiger Weise Methoden und Techniken fur die Modellierung, Darst...
|
cena:
179,98 zł |
 |
Specification and Development of Interactive Systems: Focus on Streams, Interfaces, and Refinement
ISBN: 9781461265184 / Angielski / Miękka / 2012 / 348 str. Termin realizacji zamówienia: ok. 20 dni roboczych. A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of their input/output behavior. Based on this model, the authors build a basic method, called FOCUS, that enables interactive systems to be described by characterizing their histories of message interaction. The book progresses from an introduction and guided tour of FOCUS through streams, specifications and their properties, and behavioral, interface, and conditional refinements.
A mathematical and logical foundation for the specification and development of interactive systems based on a model that describes systems in terms of...
|
cena:
192,74 zł |
 |
Übungen Zur Einführung in Die Informatik: Strukturierte Aufgabensammlung Mit Musterlösungen
ISBN: 9783540420651 / Niemiecki / Twarda / 2001 / 376 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Der vorliegende Ubungsband enthalt Aufgaben zu einer viersemestrigen Vorlesung "Einfuhrung in die Informatik." Er ist eng abgestimmt auf die zweibandige Informatik-Einfuhrung von M. Broy - das Gelernte kann so von der Theorie in die Praxis umgesetzt werden. Neben Aufgaben, die alle wichtigen Themengebiete der Einfuhrung abdecken, werden vertiefende und weiterfuhrende Aufgaben angeboten. Daruber hinaus umfasst das Buch Programmieraufgaben in den funktionalen bzw. objektorientierten Sprachen Gofer und Java sowie der Assemblersprache MI, erganzt durch kurze Einfuhrungen in diese modernen...
Der vorliegende Ubungsband enthalt Aufgaben zu einer viersemestrigen Vorlesung "Einfuhrung in die Informatik." Er ist eng abgestimmt auf die zweibandi...
|
cena:
180,14 zł |
 |
Informatik Eine Grundlegende Einführung: Band 1: Programmierung Und Rechnerstrukturen
ISBN: 9783540632344 / Niemiecki / Miękka / 1997 / 471 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Diese Einfuhrung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsgebiete und technischen Konzeptionen der Informatik. Die Darstellung zeichnet sich durch saubere, formale Fundierung und begriffliche Klarheit aus. Der erste Teil stellt das gesamte Gebiet der problemnahen Programmierung vor, von Algorithmenbegriffen uber Techniken der funktionalen und der prozeduralen Programmierung und Datenstrukturen zur Programmiermethodik. Der zweite behandelt die technische Informationsverarbeitung, von der Binarcodierung...
Diese Einfuhrung in die Informatik behandelt die fundamentalen Modelle, Formalismen und sprachlichen Konstruktionen sowie die wichtigsten Anwendungsge...
|
cena:
136,88 zł |
 |
Model-Driven Development of Reliable Automotive Services: Second Automotive Software Workshop, Aswsd 2006, San Diego, Ca, Usa, March 15-17, 2006, Revi
ISBN: 9783540709299 / Angielski / Miękka / 2008 / 206 str. Termin realizacji zamówienia: ok. 20 dni roboczych. This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held in Urbana, IL, USA, in July 2008. The 28 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 58 submissions.Among the topics covered are all current issues in formal methods related to algebraic and logical foundations, software technology, and to programming methodology including concurrent and reactive systems, evolutionary software/adaptive systems, logic and functional programming, object...
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software Technology, AMAST 2008, held...
|
cena:
192,74 zł |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
