Kód: 06801808
Semantik und Programmverifikation
Autor Christoph Walther
Programmiersprachen: Semantik und Beweistechniken
- Jazyk:
Němčina - Vazba: Brožovaná
- Počet stran: 211
Nakladatelství: Vieweg+Teubner, 2001
- Více informací o knize
Mohlo by se vám také líbit
-
Jujutsu Kaisen, Vol. 12
221 Kč -
Oathbringer
350 Kč -
Elantris
641 Kč -
Look Inside Seas and Oceans
227 Kč -
Test Driven Development
1007 Kč -
Law for Beginners
244 Kč -
Exam Practice Workbook for Mathematics for the IB Diploma: Analysis and approaches HL
682 Kč -
Darksiders: The Abomination Vault
284 Kč -
Cozy Days
547 Kč -
Purpose Driven Life
336 Kč -
Wotakoi: Love Is Hard For Otaku 2
303 Kč -
Jack
365 Kč -
Erkundungen
769 Kč -
Flight or Fright
256 Kč -
Last Green Valley
272 Kč -
Baby Sign Language Basics: Early Communication for Hearing Babies and Toddlers, 3rd Edition
420 Kč -
And the Flowers Showered
287 Kč -
Bound By Blood: Anthology
203 Kč -
Peter Cushing: The Complete Memoirs
362 Kč -
EL VERANO EN QUE ME ENAMORE
435 Kč -
Stiefel Wandkarte Kleinformat Deutschland, physisch, mit Metallstäben
453 Kč -
Handbook of Life Cycle Assessment (LCA) of Textiles and Clothing
6569 Kč -
I cacciatori di ossa. La caduta di Malazan
682 Kč -
First to Leave Before the Sun
366 Kč -
Tep-Tdm Et Radioprotection
1339 Kč -
Beyond the Twin Deficits: A Trade Strategy for the 1990's
1212 Kč -
Best Big Game Bullets
432 Kč -
Tim'S Dream Bike
495 Kč
Dárkový poukaz: Radost zaručena
- Darujte poukaz v libovolné hodnotě a my se postaráme o zbytek.
- Poukaz se vztahuje na celou naši nabídku.
- Elektronický poukaz vytisknete z e-mailu a můžete ihned darovat.
- Platnost poukazu je 12 měsíců od data vystavení.
Více informací o knize Semantik und Programmverifikation
Nákupem získáte 100 bodů
Anotace knihy
Programmiersprachen: Semantik und Beweistechniken
Parametry knihy
Zařazení knihy Knihy v němčině Naturwissenschaften, Medizin, Informatik, Technik Informatik, EDV Programmiersprachen
996 Kč
- Plný název: Semantik und Programmverifikation
- Autor: Christoph Walther
- Jazyk: Němčina
- Vazba: Brožovaná
- Počet stran: 211
- EAN: 9783519003366
- ISBN: 3519003368
- ID: 06801808
- Nakladatelství: Vieweg+Teubner
- Hmotnost: 370 g
- Rozměry: 244 × 170 × 12 mm
- Datum vydání: 29. November 2001
Oblíbené z jiného soudku
-
The Rust Programming Language, 3rd Edition
928 Kč -
LLM Engineer's Handbook
1569 Kč -
Learn Python Programming by Coding Retro Games with Pygame
465 Kč -
DevOps
1219 Kč -
Scripting
857 Kč -
Modern C#: Mastering the Type System
861 Kč -
Murach's ASP.NET Core MVC (2nd Edition)
949 Kč -
Learning Python
1226 Kč -
Effective C, 2nd Edition
956 Kč -
Electronic Music and Sound Design - Theory and Practice with Max 8 - volume 3
1317 Kč -
Eloquent Javascript, 4th Edition
779 Kč -
Art of Computer Programming, The, Volumes 1-4B, Boxed Set
6384 Kč -
Learning Go: An Idiomatic Approach to Real-World Go Programming
1124 Kč -
C++20 - The Complete Guide
1682 Kč -
C# 12 in a Nutshell: The Definitive Reference
1112 Kč -
Soft Skills: The Software Developer's Life Manual
604 Kč -
React Key Concepts - Second Edition
1064 Kč -
Crafting Interpreters
956 Kč -
C++ Software Design
1268 Kč -
C# 14 and .NET 10 - Modern Cross-Platform Development Fundamentals - Tenth Edition
1230 Kč -
Node.js Design Patterns - Fourth Edition
1167 Kč -
The Monumental Elden Ring
567 Kč -
100 Go Mistakes
1015 Kč -
Effective Typescript
956 Kč -
Building Evolutionary Architectures
1268 Kč -
ASP.NET Core in Action, Third Edition
1555 Kč -
Excellence in NLP and Life Coaching
316 Kč -
Node.js
800 Kč -
Software Architecture and Decision-Making: Leveraging Leadership, Technology, and Product Management to Build Great Products
857 Kč -
Working in Public: The Making and Maintenance of Open Source Software
365 Kč -
High Performance Python
1019 Kč -
Beautiful C++
961 Kč -
Python Basics
857 Kč -
Introducing Python
801 Kč -
We, Programmers
811 Kč -
Robust Python
894 Kč -
Windows Security Internals with Powershell
928 Kč -
Java: The Complete Reference, Thirteenth Edition
956 Kč -
Art of Unit Testing, The
1328 Kč -
The Official Raspberry Pi Handbook 2026
414 Kč -
Unreal Engine 5 Best Practices
961 Kč -
Practical C++ STL Programming
1579 Kč -
Deciphering Object-Oriented Programming with C++
1043 Kč -
Core Java, Volume I
1270 Kč -
Css: The Definitive Guide: Web Layout and Presentation
1423 Kč -
Learn Python the Hard Way
645 Kč -
Learning Angular - Fifth Edition
961 Kč -
Web Development with Blazor - Third Edition
1105 Kč -
Dark Psychology and Forbidden Manipulation
641 Kč
O tomto obchodě
Nákupní rádce
Přehledy
Knihy podle jazyka
Osobní odběr Praha, Brno a 46566 dalších
Copyright ©2008-26 nejlevnejsi-knihy.cz Všechna práva vyhrazenaSoukromíCookies
Vrácení do měsíce
571 999 099 (8-15.30h)