David Harel - Böcker

This book provides the first comprehensive introduction to Dynamic Logic. Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitu...

Läs mer »

From a review of the first edition: This book is a veritable tour de force. Harel writes with uncommon verve, clarity and imagination.' Through the use of tantalizing questions and aptly chosen and often amusing examples, the author transmits to t...

Läs mer »

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 tec...

Läs mer »

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 tec...

Läs mer »

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 tec...

Läs mer »

La collection Bien différents des ouvrages de cours ou de fiches existants, les ouvrages de « La collection des conférenciers » sont issus d''une analyse détaillée des annales de l''Internat et des ECN de ces derniäres années. Cette collec...

Läs mer »

This book does not tell a story. Instead, it is about stories. Or rather, in technical terms, it is about scenarios. Scenarios of system behavior. It con centrates on reactive systems, be they software or hardware, or combined computer-embedded sy...

Läs mer »

Erst Algorithmen machen die Nutzung von Computern berhaupt mglich. In diesem Buch in der englischen Originalausgabe ein Bestseller geben die Autoren umfassend Auskunft zu allen Fragen rund um das Thema Algorithmen: z. B. zur Berechenbarkeit, Korre...

Läs mer »

Erst Algorithmen machen die Nutzung von Computern überhaupt möglich. In diesem Buch ? in der englischen Originalausgabe ein Bestseller ? geben die Autoren umfassend Auskunft zu allen Fragen rund um das Thema Algorithmen: z. B. zur Berechenbarkei...

Läs mer »

In einer brillanten tour de force beweist der bekannte Computer-Wissenschaftler David Harel bestechend logisch, dass selbst die leistungsstarksten Computer der Welt nicht alles koennen und niemals koennen werden. Eine provokative, mit UEberraschun...

Läs mer »

This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (formerly UML conferences), MoDELS 2006. The book presents 51 revised full papers and 2 invited papers. Discussion...

Läs mer »

This book constitutes the refereed proceedings of the 9th International Conference on Model Driven Engineering Languages and Systems (formerly UML conferences), MoDELS 2006. The book presents 51 revised full papers and 2 invited papers. Discussion...

Läs mer »

A fundamental understanding of algorithmic bioprocesses is key to learning how information processing occurs in nature at the cell level. The field is concerned with the interactions between computer science on the one hand and biology, chemistry,...

Läs mer »

A fundamental understanding of algorithmic bioprocesses is key to learning how information processing occurs in nature at the cell level. The field is concerned with the interactions between computer science on the one hand and biology, chemistry,...

Läs mer »

Erst Algorithmen machen die Nutzung von Computern berhaupt mglich. In diesem Buch in der englischen Originalausgabe ein Bestseller geben die Autoren umfassend Auskunft zu allen Fragen rund um das Thema Algorithmen: z. B. zur Berechenbarkeit, Korre...

Läs mer »

This book does not tell a story. Instead, it is about stories. Or rather, in technical terms, it is about scenarios. Scenarios of system behavior. It con- centrates on reactive systems, be they software or hardware, or combined computer-embedded s...

Läs mer »

A fundamental understanding of algorithmic bioprocesses is key to learning how information processing occurs in nature at the cell level. The field is concerned with the interactions between computer science on the one hand and biology, chemistry,...

Läs mer »

Computer science is the science of the future, and already underlies every facet of business and technology, and much of our everyday lives. In addition, it will play a crucial role in the science the 21st century, which will be dominated by biolo...

Läs mer »

Computer science is the science of the future, and already underlies every facet of business and technology, and much of our everyday lives. In addition, it will play a crucial role in the science the 21st century, which will be dominated by biolo...

Läs mer »

This book does not tell a story. Instead, it is about stories. Or rather, in technical terms, it is about scenarios. Scenarios of system behavior. It con centrates on reactive systems, be they software or hardware, or combined computer-embedded sy...

Läs mer »

In einer brillanten tour de force beweist der bekannte Computer-Wissenschaftler David Harel bestechend logisch, dass selbst die leistungsstarksten Computer der Welt nicht alles koennen und niemals koennen werden. Eine provokative, mit UEberraschun...

Läs mer »

Un'eccellente introduzione agli algoritmi, alla loro struttura, a come modificano i dati, alla computabilit e alla complessit , il libro scritto in una forma allo stesso tempo elegante e schietto che fa s che possa essere considerato sia un v...

Läs mer »

Un''eccellente introduzione agli algoritmi, alla loro struttura, a come modificano i dati, alla computabilitÿ e alla complessitÿ, il libro ä scritto in una forma allo stesso tempo elegante e schietto che fa sÿ che possa essere considerato sia ...

Läs mer »