topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 38
 |
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:
780,00 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:
200,43 zł |
 |
Hey Now, What Now: What The Hell's Going Down Out There?
ISBN: 9781469961071 / Angielski / Miękka / 2012 / 146 str. Termin realizacji zamówienia: ok. 13-18 dni roboczych. "I did know that I could make a living; I didn't know if I could continue to live. There was too much bullshit to everything, everyone, every place that I knew. There was no expert judgment on anything, at least anything that I cared about." Thus begins the adventures and misadventures of the young Anthony Broy as he scrapes, fights, loves, and screws his way through adulthood, from an adolescence spent under the thumb of his violent stepfather among the Ukrainian communities of Long Island and Brooklyn to his reinventions of himself as Orthodox priest, sailor, small-time Indiana farmer,...
"I did know that I could make a living; I didn't know if I could continue to live. There was too much bullshit to everything, everyone, every place th...
|
cena:
45,63 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:
109,17 zł |
 |
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:
164,00 zł |
 |
Theoretical Foundations of Programming Methodology: Lecture Notes of an International Summer School, Directed by F. L. Bauer, E. W. Dijkstra and C. A.
ISBN: 9789027714626 / Angielski / Miękka / 1982 / 672 str. Termin realizacji zamówienia: ok. 20 dni roboczych. Long ago~ the welfare of a sooiety used to depend heavily on the skill and dedioation of its oraftsmen - the miller~ the blaok- smith~ the oobbler and the tailor. These oraftsmen aoquired their skill by a long and poorly paid apprentioeship to some master of their oraft. They learned by imitation and experienoe~ and by tri- al and error. They did not read books or study soienoe~ they knew nothing of the theory of their subjeot~ the geometry of their ru- dimentary drawings~ nor the mathematios underlying their primitive oaloulations. They oould not explain how or why they used their methods;...
Long ago~ the welfare of a sooiety used to depend heavily on the skill and dedioation of its oraftsmen - the miller~ the blaok- smith~ the oobbler and...
|
cena:
194,97 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:
194,97 zł |
 |
Einführung in Die Softwaretechnik
ISBN: 9783662502624 / Niemiecki / Twarda / 2021 / 666 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
218,68 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:
780,00 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:
182,22 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:
780,00 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:
194,97 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:
780,00 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:
194,97 zł |
 |
Logische Und Methodische Grundlagen Der Programm- Und Systementwicklung: Datenstrukturen, Funktionale, Sequenzielle Und Objektorientierte Programmieru
ISBN: 9783658263010 / Niemiecki / Miękka / 2019 / 451 str. Termin realizacji zamówienia: ok. 20 dni roboczych. |
cena:
127,53 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:
780,00 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:
120,25 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:
780,00 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:
194,97 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:
182,06 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
