Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Zistiť stav objednávky

Staňte sa súčasťou komunity milovníkov kníh z celého sveta a získajte hromadu výhod. Založiť účet zdarma

Doprava zadarmo s Packetou nad 59.99 €

Kuriér DPD 2.99 € Zberné miesto GLS 2.49 € SPS 3.99 € SPS Parcel Shop 2.99 € Packeta kurýr 3.99 € Pošta 3.99 € Zberné miesto DPD 2.99 € Kuriér GLS 3.99 € Packeta 2.99 €

Kontakt

Ako nakupovať

Pomoc

Môj účet

▸ Prázdny :-(

Doprava zdarma pre objednávky nad 59,99 € s Packetou a SPS Boxmi.

Correct System Design

Name: Correct System Design
Brand: Springer International Publishing AG
SKU: 09545743
Price: 49.46 EUR
Availability: InStock
Author: Roland Meyer
ISBN: 9783319235059

Symposium in Honor of Ernst-Rüdiger Olderog on the Occasion of His 60th Birthday, Oldenburg, Germany, September 8-9, 2015, Proceedings

Roland Meyer

André Platzer

Heike Wehrheim

Jazyk

Angličtina

Kniha Brožovaná

Libristo kód: 09545743

Nakladateľstvo Springer International Publishing AG, august 2015

This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. Thi... Celý popis

Libristo kód: 09545743

120 b

49.46 €

Skladom u dodávateľa Odosielame za 5-8 dní

30 dní na vrátenie tovaru

Zákazníci tiež kúpili

Ultima Amante Del Generalisimo Carlos Perez Ariza

Brožovaná

14.83 €

Die Anwendungsbereiche Von Cisg Und PR Cesl Im Vergleich Daniel Brauner

Pevná

80.46 €

Tugent Spyl Sebastian Brant

Pevná

118.93 €

Избранные этюды для шестиструнной гитары. Учебное пособие для детских музыкальных школ и училищ И. Пермяков

Noty

7.97 €

Кауфман Happy Еnglish 11 кл. Рабочая тетрадь №1 ФГОС (Титул)

Brožovaná

7.97 €

MUJERCITAS EDICION LIMITADA CON CANTOS TINTADOS Louisa May Alcott

Kniha

14.02 €

This book is dedicated to Professor Ernst--Rüdiger Olderog on the occasion of his 60th birthday. This volume is a reflection on Professor Olderog's contributions to the scientific community. It provides a sample of research ideas that have been influenced directly by Ernst- Rüdiger Olderog's work. After a laudatio section that provides a brief overview of Ernst- Rüdiger Olderog's research, the book is comprised of five parts with scientific papers written by colleagues and collaborators of Professor Olderog. The papers address semantics, process algebras, logics for verification, program analysis, and synthesis approaches.

Herečka & Polyglotka

EWA KASP pre

Prehrať video

Libristo má najväčší výber cudzojazyčnej literatúry. Preto si knihy kupujem tu.

Informácie o knihe

Celý názov Correct System Design

Autor Roland Meyer, André Platzer, Heike Wehrheim

Jazyk

Angličtina

Väzba Kniha - Brožovaná

Dátum vydania 2015

Počet strán 279

EAN 9783319235059

ISBN 3319235052

Libristo kód 09545743

Nakladateľstvo Springer International Publishing AG

Váha 4453

Rozmery 155 x 235 x 14

Kategórie

Technológie, strojárstvo, poľnohospodárstvo > Elektronické a komunikačné inžinierstvo > Elektrotechnické inžinierstvo > Automatická kontrola v inžinierstve > Robotika

Matematika a veda > Matematika > Matematické základy > Matematická logika

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Prekladače a interpretre

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Programovacie a skriptovacie jazyky: všeobecne

Výpočtové a informačné technológie > Počítačové programovanie/softvérové inžinierstvo > Softvérové inžinierstvo

Výpočtové a informačné technológie > Informatika > Teória algoritmov

Výpočtové a informačné technológie > Informatika > Architektúra počítača a logic dizajn

Výpočtové a informačné technológie > Informatika > Umelá inteligencia