products/sources/formale sprachen/Coq/doc/common image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: tomcat-api.pom   Sprache: Unknown

Spracherkennung für: .arg vermutete Sprache: Postscript {Postscript[4661] MT940[4717] Haskell[4823]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

mk_(5000 ,[mk_(<PULSE>,<ATRIA> ,4 ,900) , mk_(<PULSE>,<ATRIA> ,4 ,950) ,mk_(<PULSE>,<ATRIA> ,4 ,1900) ,mk_(<PULSE>,<ATRIA> ,4 ,1940) ] )

[ Dauer der Verarbeitung: 0.78 Sekunden  ]