• Wyszukiwanie zaawansowane
  • Kategorie
  • Kategorie BISAC
  • Książki na zamówienie
  • Promocje
  • Granty
  • Książka na prezent
  • Opinie
  • Pomoc
  • Załóż konto
  • Zaloguj się

Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986 » książka

zaloguj się | załóż konto
Logo Krainaksiazek.pl

koszyk

konto

szukaj
topmenu
Księgarnia internetowa
Szukaj
Książki na zamówienie
Promocje
Granty
Książka na prezent
Moje konto
Pomoc
 
 
Wyszukiwanie zaawansowane
Pusty koszyk
Bezpłatna dostawa dla zamówień powyżej 20 złBezpłatna dostawa dla zamówień powyżej 20 zł

Kategorie główne

• Nauka
 [2671187]
• Literatura piękna
 [1632828]

  więcej...
• Turystyka
 [64808]
• Informatyka
 [142531]
• Komiksy
 [32618]
• Encyklopedie
 [21639]
• Dziecięca
 [520689]
• Hobby
 [110162]
• AudioBooki
 [2156]
• Literatura faktu
 [198769]
• Muzyka CD
 [707]
• Słowniki
 [2799]
• Inne
 [406191]
• Kalendarze
 [2017]
• Podręczniki
 [166535]
• Poradniki
 [411695]
• Religia
 [456313]
• Czasopisma
 [424]
• Sport
 [59852]
• Sztuka
 [228027]
• CD, DVD, Video
 [4024]
• Technologie
 [204808]
• Zdrowie
 [89035]
• Książkowe Klimaty
 [126]
• Zabawki
 [3383]
• Puzzle, gry
 [3415]
• Literatura w języku ukraińskim
 [271]
• Art. papiernicze i szkolne
 [10676]
Kategorie szczegółowe BISAC

Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986

ISBN-13: 9783540185819 / Angielski / Miękka / 1987 / 212 str.

Albert Kundig;Richard E. Buhrer;Jacques Dahler
Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986 Albert Kundig, Richard E. Buhrer, Jacques Dahler 9783540185819 Springer-Verlag Berlin and Heidelberg GmbH & - książkaWidoczna okładka, to zdjęcie poglądowe, a rzeczywista szata graficzna może różnić się od prezentowanej.

Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986

ISBN-13: 9783540185819 / Angielski / Miękka / 1987 / 212 str.

Albert Kundig;Richard E. Buhrer;Jacques Dahler
cena 195,87 zł
(netto: 186,54 VAT:  5%)

Najniższa cena z 30 dni: 192,74 zł
Termin realizacji zamówienia:
ok. 20 dni roboczych.

Darmowa dostawa!

Springer Book Archives

Kategorie:
Informatyka, Bazy danych
Kategorie BISAC:
Computers > Programming - General
Wydawca:
Springer-Verlag Berlin and Heidelberg GmbH &
Seria wydawnicza:
Lecture Notes in Computer Science
Język:
Angielski
ISBN-13:
9783540185819
Rok wydania:
1987
Dostępne języki:
Angielski
Wydanie:
1987
Numer serii:
000013115
Ilość stron:
212
Waga:
0.70 kg
Wymiary:
23.523.5 x 15.5
Oprawa:
Miękka
Wolumenów:
01

A note on the meaning of “Embedded systems”.- Design of VLSI systems.- Embedded system description using Petri nets.- Elements for the formal description of systems.- An introduction to system semantics.- Functional formalisms for system description: Current research topics.- Tools for protocols driven by formal specifications.- Functional programming languages as a software engineering tool.- Practical methods and tools for specification.



Udostępnij

Facebook - konto krainaksiazek.pl



Opinie o Krainaksiazek.pl na Opineo.pl

Partner Mybenefit

Krainaksiazek.pl w programie rzetelna firma Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Facebook - krainaksiazek.pl
  • książki na zamówienie
  • granty
  • książka na prezent
  • kontakt
  • pomoc
  • opinie
  • regulamin
  • polityka prywatności

Zobacz:

  • Księgarnia czeska

  • Wydawnictwo Książkowe Klimaty

1997-2024 DolnySlask.com Agencja Internetowa

© 1997-2022 krainaksiazek.pl
     
KONTAKT | REGULAMIN | POLITYKA PRYWATNOŚCI
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
Polityka prywatnosci - link
Krainaksiazek.pl - płatnośc Przelewy24
Przechowalnia Przechowalnia