products/Sources/formale Sprachen/Isabelle/HOL/Hoare_Parallel/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: Ereignis-i.dat   Sprache: Unknown

Spracherkennung für: .dat vermutete Sprache: Hlasm {Hlasm[1134] Haskell[1432] BAT[1448]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

03 21 1685 aniversário                      Johann Sebastian Bach                   e amou o órgão                      24
03 30 1853 aniversário                      Vincent van Gogh                                                            24  
05 01 1918 dia labor                        todos os povos                          e unidade do amor                                                                                                                                                V%@
12 16 1770 aniversário                      Ludwig van Beethoven                                                        24  
12 24      navidad                          metade do mundo e o descanso dele       e queira a paz                                                                                                                                                   V%@

[ Dauer der Verarbeitung: 0.148 Sekunden  ]